Bug Fixes For rustc 0.13.0 12/23