Update version number in documentation