Minor English fixes in docs [ci skip]