Ben: fix restart