Get rid of dual interpretation of -> strings