Fix a compilation issue