[#12] Tweaks to the Doxyfile