fix bug in vectors with integer division