removed debugging outputs;