Fix a rare crash on ReaderHighlight