(long overdue) Vector resize.