Updated jedi plugin (works with latest version)