Even more doxygen fixes