Minor updates to Doxygen settings