Restart dead server in jedi:start-server
Fix typo