Should one of them be (arg, VectAdd)? Similar for lines 685 and 688