Some debugging lines added.