fix for rust-0.10