--- a/src/nav_read.c
+++ b/src/nav_read.c
@@ -140,7 +140,6 @@
   }
 
 
-
 #ifndef NDEBUG
   /* Asserts */
 
@@ -160,7 +159,7 @@
     CHECK_VALUE(pci->hli.hl_gi.btngr_ns != 0);
   } else {
     CHECK_VALUE((pci->hli.hl_gi.btn_ns != 0 && pci->hli.hl_gi.btngr_ns != 0)
-           || (pci->hli.hl_gi.btn_ns == 0 && pci->hli.hl_gi.btngr_ns == 0));
+                || (pci->hli.hl_gi.btn_ns == 0 && pci->hli.hl_gi.btngr_ns == 0));
   }
 
   /* pci hli btnit */
@@ -264,4 +263,3 @@
   /* dsi dsi gi */
   CHECK_VALUE(dsi->dsi_gi.zero1 == 0);
 }
-