Update in user documentation.
Updates to user documentation.