Update script/deploy

A few cosmetic fixes to keep up with some other things that were recently merged.