minor changes in main.c and vector.h