fix another 64bit conversion bug for synonyms