version correction, manual pull from work on aleo