More edits to Rust