small fixes for Vector