fix topos "Switc" and "Swch"