Adjust for jedi name changes