Issue #195: fix one case of mispositioned comments
Fix #195: rewrite sequence number on insertions