fix invalid printf format