small fix in doxygen documentation