019_subseq: made some minor updates to invariants.