Corrected example in test.tcl