fixing error message when jedi is missing