minor fix to bash deployment script