Fix language; polish SpecificationSet example