annoying little typo

i have never used this github edit / pull request thing before - was hoping it would be simpler than opening an issue for a tiny thing, but am starting to wonder...