Updating to Jedi 0.8.1