Fixed version numbering in doxygen.