Improving printing for --ddump-vect