fix first-occurrence highlighting

[#81446420]