Repair bad copy-paste in docs.