Added a few debugging lines