Fix typo

Typo in the header