fix typo in synopsis