Compatibility with rust 0839e94