* fixed broken jedi.inc