diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds
index e872c31..0e1e20f 100644
--- a/Projects/Reproducible_builds
+++ b/Projects/Reproducible_builds
@@ -24,7 +24,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 -Ss https://apt.robur.coop/gpg.pub | gpg --dearmor > /usr/share/keyrings/apt.robur.coop.gpg
+$ 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
 $ apt update
 $ apt install solo5 albatross