Fix a compilation bug