Fix for rustc 0.13.0-nightly (34d680009 2014-12-22 00:12:47 +0000)