Fix format string warning reported by GCC