Get rid of some debug prints that crept in.