Fix comment for HeaderDoc.