Small changes to the docs [ci skip]