small bugfix in vtf.tcl