moved some forgotten print statements into debugging facility