Bug fix: default highlighting incorrectly computes end of line.