kill workers if SIGHUP arrived, cosmetic changes