minor changes on print_vSet