Small enhancements for doxygen