Tiny printf change