more doxygen tweaking