fix printf format warning