printf formatting fixes