Removal of some typos in header files