highlighting bugfix #2

:>