diff --git a/docs/library/index.rst b/docs/library/index.rst
index 83a699fd05..a6d12f678f 100644
--- a/docs/library/index.rst
+++ b/docs/library/index.rst
@@ -6,20 +6,6 @@ The following standard Python libraries are built in to MicroPython.
 For additional libraries, please download them from the `micropython-lib repository
 <https://github.com/micropython/micropython-lib>`_.
 
-MicroPython-specific libraries
-------------------------------
-
-Functionality specific to the MicroPython implementation is available in
-the following libraries.
-
-.. toctree::
-   :maxdepth: 1
-
-   machine.rst
-   micropython.rst
-   network.rst
-   uctypes.rst
-
 Python standard libraries and micro-libraries
 ---------------------------------------------
 
@@ -114,6 +100,21 @@ library.
        uzlib.rst
 
 
+MicroPython-specific libraries
+------------------------------
+
+Functionality specific to the MicroPython implementation is available in
+the following libraries.
+
+.. toctree::
+   :maxdepth: 1
+
+   machine.rst
+   micropython.rst
+   network.rst
+   uctypes.rst
+
+
 .. only:: port_pyboard
 
    Libraries specific to the pyboard