a script ending