Fix a gcc warning: