Update for jedi configuration