Minor updates to user documentation