Fix doxygen doc again.