Fix copy-paste error in the docs