Minor addition to Synonyms