Fix a bug that caused nginx not to restart when changed