Bugfix for rebooting