Fix a duplicate