Small doxygen updates