Removed a debugging printout.