fix theoretical version