Fixing bug in deploy_tools