tutorial: don't omit how to restart