Fix example in std::Option