Cosmetic: remove a bit of printing to make stuff less chatty