WYIL: bug fix for verification transform.