documentation tweaks again [ci skip]