better printf formatting