fix wrong printf format mismatches