removed debugging print-lines