diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds
index 0e1e20f..88eec76 100644
--- a/Projects/Reproducible_builds
+++ b/Projects/Reproducible_builds
@@ -25,7 +25,7 @@ To run a MirageOS unikernel on your laptop or computer with virtualization exten
 For Debian and Ubuntu systems, we provide package repositories. Browse the [dists](https://apt.robur.coop/dists) folder for one matching your distribution, and add it to `/etc/apt/sources.list`:
 ```
 $ curl -fsSL https://apt.robur.coop/gpg.pub | gpg --dearmor > /usr/share/keyrings/apt.robur.coop.gpg
-$ echo "deb [signed-by=/usr/share/keyrings/apt.robur.coop.gpg] https://apt.robur.coop ubuntu-20.04 main" >> /etc/apt/sources.list # replace ubuntu-20.04 with e.g. debian-11 on a debian buster machine
+$ echo "deb [signed-by=/usr/share/keyrings/apt.robur.coop.gpg] https://apt.robur.coop ubuntu-20.04 main" > /etc/apt/sources.list.d/robur.list # replace ubuntu-20.04 with e.g. debian-11 on a debian buster machine
 $ apt update
 $ apt install solo5 albatross
 ```