diff --git a/basics_dev/devel-faq.md b/basics_dev/devel-faq.md
index 6a21b99d..32c42563 100644
--- a/basics_dev/devel-faq.md
+++ b/basics_dev/devel-faq.md
@@ -14,7 +14,7 @@ Qubes Developers' FAQ
 Why does dom0 need to be 64-bit?
 --------------------------------
 
-Since 2013 [Xen has not supported 32-bit x86 architecture](http://wiki.xenproject.org/wiki/Xen_Project_Release_Features) and Intel VT-d, which Qubes uses to isolate devices and drivers, is available on Intel 64-bit processors only.
+Since 2013 [Xen has not supported 32-bit x86 architecture](https://wiki.xenproject.org/wiki/Xen_Project_Release_Features) and Intel VT-d, which Qubes uses to isolate devices and drivers, is available on Intel 64-bit processors only.
 
 In addition, with features like improved ASLR, it is often more difficult to exploit a bug on x64 Linux than x86 Linux. 
 While we designed Qubes from the beginning to limit potential attack vectors, we still realize that some of the code running in Dom0, e.g. our GUI daemon or xen-store daemon, however simple, might contain some bugs.