Fix a build warning