<minor: remove a stray debugging statement>