Fix typo in the header of the documentation