Fix thread check failure in reporting string of Implicit Highlighter

Fixes #1002295.