refinement: simplify #shutdown.