making doc pass with User Guide [ci skip]