Fix doxygen instructions