Fixed up some errors from Doxygen