Some minor cleaning up [ci skip].
Slight updates to the user documentation [ci skip].