Fix typos in synopsis