fix copy-paste errors in doc