fix to last Rust master