Minor changes

I have never experienced that issue...as far as I know, restarts of upstart services work exactly as expected (including restart docker containers)