fix bash error
readd jedi