Fix version in documentation.