diff --git a/doc/contributing.texi b/doc/contributing.texi
index 5fadde4d6c..1355c59375 100644
--- a/doc/contributing.texi
+++ b/doc/contributing.texi
@@ -1031,7 +1031,7 @@ 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, or mips64 architectures, you would run the following
+the armhf or aarch64 architectures, you would run the following
 commands, respectively:
 @example
 guix build --system=armhf-linux --rounds=2 hello