tiny bugfix

If you take something out of a vector, it's size changes. Oops.