Minor updates to Doxyfile