Fix a problem of sets-proc