Fix typo in doc header.