Fix typo.

This fixes a typo in a comment. I have some more substantial changes on the way if you're interested: first, adding superscript digits.