Fix typo in leading comments