Minor update to user documentation.