tiny bit code regarding Vector types