Corrects datomic pro version