Doxy: more doxygen comments