Fix missed example update from rust-lang/rust