Fix typo in synopsis