diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds
index 9382ea2..2077300 100644
--- a/Projects/Reproducible_builds
+++ b/Projects/Reproducible_builds
@@ -50,10 +50,10 @@ There is no configuration needed. Start the `albatross_console` and the `albatro
 
 To check that albatross works, get the latest hello world unikernel and run it:
 ```
-$ wget https://builds.robur.coop/job/hello/build/latest/bin/hello.hvt
+$ wget https://builds.robur.coop/job/hello/build/latest/bin/hello-key.hvt
 $ albatross-client console my-hello-unikernel & # this is sent to the background since it waits and displays the console of the unikernel named "my-hello-unikernel"
-$ albatross-client create my-hello-unikernel hello.hvt # this returns once the unikernel image has been transmitted to the albatross daemon
-$ albatross-client create --arg='--hello="Hello,\ my\ unikernel" my-hello-unikernel hello.hvt # executes the same unikernel, but passes the boot parameter "--hello"
+$ albatross-client create my-hello-unikernel hello-key.hvt # this returns once the unikernel image has been transmitted to the albatross daemon
+$ albatross-client create --arg='--hello="Hello,\ my\ unikernel" my-hello-unikernel hello-key.hvt # executes the same unikernel, but passes the boot parameter "--hello"
 $ fg # back to albatross-client console
 $ Ctrl-C # kill that process
 ```