fixed a doxygen error