fix bad printf verb