avoid a deadlock introduced in recent identifier highlighting commit