Fixup top-level keys in down.sh
down