Fixed wrong comment about set_difference