Fix jedi setting