Fixed some Doxygen bugs