fix for latest version of Rust(0.13.0)