Minor printf nit to keep out clean