diff --git a/docs/installation/raspberrypi.rst b/docs/installation/raspberrypi.rst
index 53674e7d..e266dee2 100644
--- a/docs/installation/raspberrypi.rst
+++ b/docs/installation/raspberrypi.rst
@@ -16,12 +16,20 @@ distribution.
 
 .. _raspi-wheezy:
 
-How to for Debian 7 (Wheezy)
-============================
+How to for Raspbian "wheezy" and Debian "wheezy"
+================================================
 
-#. Download the latest wheezy disk image from
-   http://downloads.raspberrypi.org/images/debian/7/. I used the one dated
-   2012-08-08.
+This guide applies for both:
+
+- Raspian "wheezy" for armhf (hard-float), and
+- Debian "wheezy" for armel (soft-float)
+
+If you don't know which one to select, go for the armhf variant, as it'll give
+you a lot better performance.
+
+#. Download the latest "wheezy" disk image from
+   http://www.raspberrypi.org/downloads/. This was last tested with the images
+   from 2013-05-25 for armhf and 2013-05-29 for armel.
 
 #. Flash the OS image to your SD card. See
    http://elinux.org/RPi_Easy_SD_Card_Setup for help.