Hotfix: More Doxygen fixes