Update jedi.inc