Merge pull request #173 from thotypous/master

Fix a rare crash on ReaderHighlight