minor tweaks to Doxygen comments