Fix for `rustc 0.13.0-dev (b677746b1 2014-12-15 08:32:45 +0000)`.
Merge pull request #12 from utkarshkukreti/fix-for-rustc-2014-12-15

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