fixed bug where synonyms weren't highlighted properly