Minor additions to user guide