Added some debugging lines