A minor spelling correction.
Updated to doxygen 1.8.5.
Enabled doxygen's source browsing options for the internal output only.