Fixing missing entry in the jump translations (JGE)