debugging printouts (commented out)