Fixing copy-paste typo in documentation