Fix a compilation warning in release