minor change in DotProduct.js