* v: Replace "$@@" with "$@".  The former added a trailing `@' to
	commands using `v', making them ill-formed.