Fix for `rustc 0.13.0-dev (cc19e3380 2014-12-20 20:00:36 +0000)`.