Fix English in user_documentation.rst