lots of small edits correcting jump analysis