Update version in the documentation