fix: tr. #670 (intvec(int,intvec))