Fix a duplication