Delete debugging cruft that crept in with r223802.