fix syntax typos