Fix version in docs.