fix some invalid printf format strings