Fix a compilation error