Fix example in std::Option
auto merge of #9368 : StrLght/rust/master, r=thestinger