minor changes to talking-about-sets.lhs