Minor doxygen update