Fix some examples in std::rand::Rng