Fix for `rustc 0.13.0-dev (a2dee35e0 2014-11-12 08:32:03 +0000)`.