Fix for rustc 0.13.0-nightly (62fb41c32 2014-12-23 02:41:48 +0000)