More tweaks to doxygen scraper.