fix spelling mistake

Almost didn't make the fix, keep waiting to do it alongside a "real" change, but keep forgetting. So here it is, a noisy commit, to insert one letter, and a comment much too long for what it's about :-/