[m] minor doxygen updates