ofz#1037 resize vector correctly
Authored by: David Tardon 2017-04-08
Parent: [95c3bc]
Child: [314659]