fix invalid printf formats