bug fixing of vector type inference