use pos-tip w/ jedi