Fix some issues with doxygen documentation