Fix some more Doxygen issues