Minor update to the user documentation [ci skip].