diff --git a/docs/user-guide.md b/docs/user-guide.md
index d60b623..5192f9e 100644
--- a/docs/user-guide.md
+++ b/docs/user-guide.md
@@ -45,8 +45,6 @@
 
 *   `git` package to obtain source code.
 
-*   `ia32-libs` package.
-
 *   `build-essential`, `uuid-dev` and `iasl` packages for building UEFI and the
     Firmware Image Package (FIP) tool.
 
@@ -921,7 +919,7 @@
 
 The Juno platform requires a BL3-0 image to boot up. This image contains the
 runtime firmware that runs on the SCP (System Control Processor). It can be
-downloaded from the [ARM Silver SCP website] (requires registration).
+downloaded from [this ARM website] [SCP download] (requires registration).
 
 Rebuild the Trusted Firmware specifying the BL3-0 image. Refer to the section
 "Building the Trusted Firmware". Alternatively, the FIP image can be updated
@@ -1020,7 +1018,7 @@
 [Firmware Design]:  ./firmware-design.md
 
 [ARM FVP website]:         http://www.arm.com/fvp
-[ARM Silver SCP website]:  https://silver.arm.com/download/download.tm?pv=1764630
+[SCP download]:            https://silver.arm.com/download/download.tm?pv=1764630
 [Linaro Toolchain]:        http://releases.linaro.org/14.07/components/toolchain/binaries/
 [EDK2]:                    http://github.com/tianocore/edk2
 [DS-5]:                    http://www.arm.com/products/tools/software-tools/ds-5/index.php