fix bug in synthesis
coming from 'is' comparison for string