Fix versioning in documentation.