Minor corrections+improvements in docs [ci skip]