Fix accidental duplicate