diff --git a/README.md b/README.md
index e3d2cf8..fe12618 100644
--- a/README.md
+++ b/README.md
@@ -24,9 +24,9 @@ Copypasta:
 git submodule init
 git submodule update --depth 1 nixpkgs
 export NIX_PATH=$(pwd)
-nix build --option trusted-public-keys "" -L -f src kgpe.coreboot    # kgpe-d16 AMD opteron
-nix build --option trusted-public-keys "" -L -f src am1i.coreboot    # am1-i AMD kabini
-nix build --option trusted-public-keys "" -L -f src kevin.coreboot   # Samsung chromebook rk3399 arm64
+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
 ```
 
 Details: [doc/build.md](doc/build.md).
diff --git a/doc/build.md b/doc/build.md
index 7a0ebc1..c195314 100644
--- a/doc/build.md
+++ b/doc/build.md
@@ -14,9 +14,9 @@ Then execute one of the following three lines, depending on which
 platform you want to build for:
 
 ```
-nix build --option trusted-public-keys "" -L -f src kgpe.coreboot    # kgpe-d16 AMD opteron
-nix build --option trusted-public-keys "" -L -f src am1i.coreboot    # am1-i AMD kabini
-nix build --option trusted-public-keys "" -L -f src kevin.coreboot   # Samsung chromebook rk3399 arm64
+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
 ```
 
 The `--option trusted-public-keys ""` tells nix not to trust binaries