Fix for today's latest Rust