Fix typo.

They're harmless but should be fixed.