applied a workaround for Rust bug #9730.