Fixing wrong version number in documentation