Oops. That was left in from early debugging.