Change some text in the documentation