fix term byte offsets produced by new textsplit: for highlighting
Authored by: Jean-Francois Dockes 2014-04-24
Parent(s): [ece153]
Child(ren): [3de5b5]