Fix a gcc warning