Fix a minor warning