Slight update to the user documentation [ci skip].