Fix a compilation warning