Fix typo in header doc comments