Comment out some debugging printouts