Fix type / printf format string mismatch issues