a few more doxygen fixes