It is odd, but it was what was there before - https://github.com/mozilla/rust/commit/a9dd903d79b053eb85302572e53717ad865c813d