removed debugging printouts