Fixed Jedi config.