fixed jedi settings