Fixes #35.  Jedi settings are now sticking.