Minor: typo in comment