Fix up a mistaken copy paste
Merge pull request #446 from alex/docs-fixup

Fix up a mistaken copy paste