Fix a definition duplicate