re-establish the build.
Fix thread check failure in reporting string of Implicit Highlighter

Fixes #1002295.