Doc correction

Fixed a small copy-paste error.