DOC fix a copy-paste error