Fix for `rustc 0.13.0-dev (b677746b1 2014-12-15 08:32:45 +0000)`.