Another update for Rust 0.13