Got rid of a debug printout.