fix race condition with StringMatcher