WYIL: bug fix for generating VCs.