fixing typos in symi