Removal of a debugging printout accidentally committed at r22025.