3 files changed, 5 insertions, 5 deletions
diff --git a/it/bookinfo.xml b/it/bookinfo.xml
index 2ff26383f..8d2cba57e 100644
--- a/it/bookinfo.xml
+++ b/it/bookinfo.xml
@@ -1,5 +1,5 @@
 <!-- retain these comments for translator revision tracking -->
-<!-- original version: 69685 -->
+<!-- original version: 69691 -->
 
 <bookinfo id="debian_installation_guide">
 <!-- <title>&debian-gnu; Installation Guide</title> -->
diff --git a/it/boot-installer/arm.xml b/it/boot-installer/arm.xml
index e9512bfc5..9ab79f4bd 100644
--- a/it/boot-installer/arm.xml
+++ b/it/boot-installer/arm.xml
@@ -1,5 +1,5 @@
 <!-- retain these comments for translator revision tracking -->
-<!-- original version: 69648 -->
+<!-- original version: 69679 -->
 
   <sect2 arch="arm" id="boot-image-formats">
   <!-- <title>Boot image formats</title> -->
@@ -355,7 +355,7 @@ the kernel.  Modern u-boot versions often use 115200 baud while the
 kernel still defaults to the traditional 9600 baud. If this happens,
 you should manually set the console variable to contain the correct
 baudrate for your system and then start the installer with the
-<quote>run usb_boot</quote> command.
+<quote>run bootcmd_usb0</quote> command.
 -->
 
 Un problema che può verificarsi durante l'avvio da una chiavetta USB
@@ -374,7 +374,7 @@ kernel. Le versioni recenti di u-boot spesso utilizzano 115200 baud
 mentre il kernel tutt'ora utilizza i tradizionali 9600 baud. In questo
 caso è necessario impostare manualmente la varibile console in modo che
 contenga anche la velocità di trasmissione adatta al sistema e avviare
-l'installatore con il comando <quote>run usb_boot</quote>.
+l'installatore con il comando <quote>run bootcmd_usb0</quote>.
 
 </para>
   </sect2>
diff --git a/it/boot-installer/x86.xml b/it/boot-installer/x86.xml
index e1ff0e0a8..459187012 100644
--- a/it/boot-installer/x86.xml
+++ b/it/boot-installer/x86.xml
@@ -133,7 +133,7 @@ e in <xref linkend="boot-usb-files"/></phrase>, oppure
 
 <!--
 download a standalone Windows executable, which is available as
-tools/win32-loader/stable/win32-loader.exe on the &debian; mirrors,
+tools/win32-loader/stable/win32-loader.exe on the &debian; mirrors.
 -->
 
 scaricare un eseguibile per Windows, disponibile sui mirror &debian;