fixes to the doxygen documentation