Fix a little warning