Removed debugging printout