Add a little fix to RawSynonymy