Fix some typos in doxygen comments