Slight updates to the user documentation.