BUG: fixing some bugs in doxygen