Minor corrections in docs [ci skip]