Fix a format string pointed out by clang