Typo city

Clearly someone didn't follow the verification steps in #3776 . ;)

Incidentally, I'm experimenting with creating PRs and keeping branches up to date in the GitHub UI. Seems to work okay, but I can't sign anything which is a bummer. Also, I can't seem to fast-forward merge so I'll always have a somewhat meaningless merge commit in there.