Remove extraneous debugging output (#9071)