Fix version()