Fixed a typo on the doc header