Gratuitous trivia

None of this is actually necessary, but at least it's harmless right? Couple typos you could fix yourself without the PR also