Fix typos in the header of the documentation