remove inadvertently commited debug printf()