Use one-arg form of printf for static strings