The amount of vanilla is very tiny and the amount of alcohol is even tinier so I wouldn't worry about it.
It's the same stuff most of us use (although in some other countries they have no idea what Karo is because they don't have it there so we have to be careful to call it corn syrup)