diff --git a/docs/konamisystem573.md b/docs/konamisystem573.md
index d5366ee..00bfc81 100644
--- a/docs/konamisystem573.md
+++ b/docs/konamisystem573.md
@@ -17,8 +17,8 @@ and other early Bemani (Konami's rhythm game division) games.
 - [Pinouts](#pinouts)
 - [Credits, sources and links](#credits-sources-and-links)
 
-This document is currently work-in-progress. Here is a list of things that are
-still missing:
+This document is currently work-in-progress. Here is an incomplete list of
+things that are still missing:
 
 - The BIOS and games are notoriously picky about ATAPI drives. Konami's code
   shall be disassembled and tested in order to find out where and why drive
@@ -34,8 +34,8 @@ still missing:
   possible.
 - The 700B01 BIOS contains references to the ability to boot from a FAT
   filesystem on a CF card inserted into a PCMCIA slot, which would actually be
-  impossible due to the way the slots are wired up. That definitely needs more
-  research.
+  impossible due to the way the slots are wired up. The H8/3644 check is also
+  completely different from the one performed by the 700A01 shell.
 
 ## Differences vs. PS1
 
diff --git a/mkdocs.yml b/mkdocs.yml
index 9ea1e35..d8485fd 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -54,6 +54,7 @@ nav:
     - 'cpuspecifications.md'
     - 'kernelbios.md'
     - 'arcadecabinets.md'
+    - 'konamisystem573.md'
     - 'cheatdevices.md'
     - 'psxdevboardchipsets.md'
     - 'hardwarenumbers.md'