Rust update: elevator improvements and bug fixes