Refactor some texts in the documentation