fix modification of sets
tint pager