bugfix -- with clause didn't work for vectors