More use for  Tcl_ObjPrintf(), and plug memory leak