Fixing typo in header