A small fix to the autodeploy script