I used Github's online edit feature to submit this pull request, no idea what it did here.