Fix documentation for nginx restart