Fix typo in opening comment