Fixed a small typo in the header doc.