Fix version in documentation