improved print_vector