FIX documentation of class Sets