fix a small error in deploy script