Minor updates to doxygen files