proper tool closing