Bugfix in deploy script