Slight update to the user documentation.