fixup! Fixup top-level keys in down.sh