Fixed a typo

Predictably I can't just rebase and squash typos when using the github online editor. Oh well.