Fix a command-line option in deploy script