Add new method restart().
Minor change.