Fix example in docs#4181

brson merged 1 commit intorust-lang:incomingrust-lang/rust:incomingfrom

andrew-d:andrew-doc-fix1Copy head branch name to clipboard