corrected a typo in header comments