Fix bug in deploy script