It was a typo, in the sense that I omitted one line when copy-and-pasting. I have now edited my post.The "$v" in your second line is a typo?
It was a typo, in the sense that I omitted one line when copy-and-pasting. I have now edited my post.The "$v" in your second line is a typo?