Remove debug printout. #4044.