Doxygen 1.8.5 (and a minor spelling correction).