diff --git a/README.md b/README.md
index 753ab84..5ce00d5 100644
--- a/README.md
+++ b/README.md
@@ -24,9 +24,9 @@ Because ownerboot is written in [nix](https://nixos.org/manual/nix/unstable/), i
 Copypasta:
 
 ```
-nix-build --option trusted-public-keys "" src -A kgpe.coreboot    # kgpe-d16 AMD opteron
-nix-build --option trusted-public-keys "" src -A am1i.coreboot    # am1-i AMD kabini
-nix-build --option trusted-public-keys "" src -A kevin.coreboot   # Samsung chromebook rk3399 arm64
+nix-build --option trusted-public-keys "" src -A kgpe.image    # kgpe-d16 AMD opteron
+nix-build --option trusted-public-keys "" src -A am1i.image    # am1-i AMD kabini
+nix-build --option trusted-public-keys "" src -A kevin.image   # Samsung chromebook rk3399 arm64
 ```
 
 Details: [doc/build.md](doc/build.md).
diff --git a/doc/build.md b/doc/build.md
index 47b129a..6c8d4cf 100644
--- a/doc/build.md
+++ b/doc/build.md
@@ -9,9 +9,9 @@ To build ownerboot, execute one of the following three lines,
 depending on which platform you want to build for:
 
 ```
-nix-build --option trusted-public-keys "" src -A kgpe.coreboot    # kgpe-d16 AMD opteron
-nix-build --option trusted-public-keys "" src -A am1i.coreboot    # am1-i AMD kabini
-nix-build --option trusted-public-keys "" src -A kevin.coreboot   # Samsung chromebook rk3399 arm64
+nix-build --option trusted-public-keys "" src -A kgpe.image    # kgpe-d16 AMD opteron
+nix-build --option trusted-public-keys "" src -A am1i.image    # am1-i AMD kabini
+nix-build --option trusted-public-keys "" src -A kevin.image   # Samsung chromebook rk3399 arm64
 ```
 
 The `--option trusted-public-keys ""` tells nix not to trust binaries