diff --git a/part3intro/toolchaintechnotes.xml b/part3intro/toolchaintechnotes.xml
index 7a8058424..a6206bb91 100644
--- a/part3intro/toolchaintechnotes.xml
+++ b/part3intro/toolchaintechnotes.xml
@@ -158,8 +158,10 @@
       two systems can share the same kernel but still be too different to
       use a same triplet for them.  For example, an Android running on a
       mobile phone is completely different from Ubuntu running on an ARM64
-      server.  Without an emulation layer, you cannot run an executable for
-      the server on the mobile phone or vice versa.  So the
+      server, despite they are running on the same type of CPU (ARM64) and
+      using the same kernel (Linux).
+      Without an emulation layer, you cannot run an
+      executable for the server on the mobile phone or vice versa.  So the
       <quote>system</quote> field is separated into kernel and os fields to
       designate these systems unambiguously.  For our example, the Android
       system is designated <literal>aarch64-unknown-linux-android</literal>,