Changed to rustc 0.10