Minor changes to Doxygen tags