Fix a typo, remove unnecessary repetition