No need for `(` and `)` around restart.