Fixed up Doxygen stuff