No more need for restart().