fix #1336 by ignoring uncompatiable saved highlights

Ah, *that*'s why it was sometimes refreshed sooner. I had a feeling, but when I tried to replicate, I wasn't successful (probably because my tries were too simple). Very nice solution!