set difference and minor corrections