Update user_documentation.rst