Actually restarting shouldn’t be necessary (either).