Minor update to the user documentation.