Remove now-useless debug output