Fix several instances of doubled words in the documentation