(Very) minor typo fix.