fixing typo in comment header