Fix a warning