Some debugging lines