This pull request just exists to have a place to put comments.  Please don't pull!

Right. This is another vestigial code segment. The "exit" we no longer need since natty will exit when a traversal finishes or we encounter an error.