diff --git a/docs/topindex.html b/docs/topindex.html
index fe61b5b927..be13cc2a8a 100644
--- a/docs/topindex.html
+++ b/docs/topindex.html
@@ -41,10 +41,10 @@
       {% endif %}
       <p class="biglink">
         <a class="biglink" href="{{ pathto("library/index") }}">Library Reference</a><br/>
-        {% if port == "wipy" %}
-          <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/machine") }}">machine module</a></span>
-        {% else %}
+        {% if port == "pyboard" %}
           <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/pyb") }}">pyb module</a></span>
+        {% else %}
+          <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/machine") }}">machine module</a></span>
         {% endif %}
       </p>
     </td>