More "v\dots" -> "v, \dots" changes.