KWIC highlighting, ID_OR_CODE_NUMBER bugs fixed!