Minor doc refactoring [ci skip]