fix typo in set comprehension's snippet