Simple correction of "doxygen docs" button.