diff --git a/doc/contributing.texi b/doc/contributing.texi
index 9459c481a76d6ddb787f011a8f61de3b6b22d135..5331d3e18a779f9c9b30fdf6f40aee397b1b1d0c 100644
--- a/doc/contributing.texi
+++ b/doc/contributing.texi
@@ -827,7 +827,7 @@ your @code{operating-system} configuration:
 @example
 (service qemu-binfmt-service-type
  (qemu-binfmt-configuration
-   (platforms (lookup-qemu-platforms "arm" "aarch64" "ppc" "mips64el"))
+   (platforms (lookup-qemu-platforms "arm" "aarch64" "mips64el"))
    (guix-support? #t)))
 @end example
 
@@ -835,12 +835,11 @@ Then reconfigure your system.
 
 You can then build packages for different platforms by specifying the
 @code{--system} option.  For example, to build the "hello" package for
-the armhf, aarch64, powerpc, or mips64 architectures, you would run the
-following commands, respectively:
+the armhf, aarch64, or mips64 architectures, you would run the following
+commands, respectively:
 @example
 guix build --system=armhf-linux --rounds=2 hello
 guix build --system=aarch64-linux --rounds=2 hello
-guix build --system=powerpc-linux --rounds=2 hello
 guix build --system=mips64el-linux --rounds=2 hello
 @end example
 
diff --git a/doc/guix.texi b/doc/guix.texi
index 6e8ce3c08450cd7481165762fadc9d6c7716f103..a58ca4b4a716c2c11d4591ed68d9616549570ded 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -21629,7 +21629,7 @@ emulated:
 @example
 (service qemu-binfmt-service-type
          (qemu-binfmt-configuration
-           (platforms (lookup-qemu-platforms "arm" "aarch64" "ppc"))))
+           (platforms (lookup-qemu-platforms "arm" "aarch64" "mips64el"))))
 @end example
 
 In this example, we enable transparent emulation for the ARM and aarch64