upgrading version number in the documentation