Revise the doc version number