Minor updates to user documentation.