fix for jed 1.1