fixed incorrect printf format