Fix a compilation error.