Slight update to the user documentation following our fix for issue #405 [ci skip].