A minor typo fix

Now I'm a committer, and I only had to exchange two characters. :)