Fix an instance of doubled words in the docs