small tcl fix