fix to support Korean synonyms

and fixed typo in DefaultPrefs.json