fixes `restart`