fix #1336 by ignoring uncompatiable saved highlights