Updated command to be compatible with newer jedi