graceful exit: fix #5