Make some slight improvements to the doxyfile