Fix to compile with latest Rust.