implement clean_up()