English doc hotfix [ci skip]