diff --git a/infra/README.md b/infra/README.md
index c43362f5..133f6a32 100644
--- a/infra/README.md
+++ b/infra/README.md
@@ -30,7 +30,7 @@ everything will become much cleaner.
 
 3. Run the provisioning script:
    ```
-   sh infra/proxmox-provision.sh 117
+   sh infra/proxmox-provision.sh fedi117
    ```
    The script can take several ids at the same time. It requires some
    authentication options and provides several more. See `--help`.
@@ -46,7 +46,11 @@ everything will become much cleaner.
 
    FIXME: Make the provisioning script do that for us.
 
-7. Commit the machine's configuration, public key, etc.
+7. Regenerate the list of machines:
+   ```
+   sh infra/machines.md.sh
+   ```
+   Commit it with the machine's configuration, public key, etc.
 
 8. At this point, the machine contains a very basic configuration that contains
    just enough for it to boot and be reachable. Go on to the next section to