sanity checking for highlightLines();