Issue #241: final tweak to user guide docs [ci skip]