Fix a GCC warning