#16: better editing of TempTokenResult in script, script improved