Fix a warning under gcc