Fix Rust specs