bugfix in at_exit