Fix for `rustc 0.13.0-dev (9c96a79a7 2014-11-18 01:02:19 +0000)`.