make shutdown happy