Tweaking the docs [ci skip]