Added some debug printouts (deactivated)