Fix spellingerrors in execute.tcl