Remove some debugging cruft. It's still not fixed, though.