Fix a GCC compilation error.