Fix doxygen warning (once more)