removed some debugging printouts