Fixed bad printf arg