Remove accidentally-committed debugging statement. Thanks to Faisal Vali for
spotting this!