Updated docs (using newer revision of Doxygen)