bad printf option