diff --git a/sys/dev/ti/if_ti.c b/sys/dev/ti/if_ti.c
index 4513a18c96f..3e1da1562cf 100644
--- a/sys/dev/ti/if_ti.c
+++ b/sys/dev/ti/if_ti.c
@@ -2375,7 +2375,7 @@ ti_detach(dev)
 		return EBUSY;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->ti_mtx), "ti mutex not initialized");
+	KASSERT(mtx_initialized(&sc->ti_mtx), ("ti mutex not initialized"));
 	TI_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_ti.c b/sys/pci/if_ti.c
index 4513a18c96f..3e1da1562cf 100644
--- a/sys/pci/if_ti.c
+++ b/sys/pci/if_ti.c
@@ -2375,7 +2375,7 @@ ti_detach(dev)
 		return EBUSY;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->ti_mtx), "ti mutex not initialized");
+	KASSERT(mtx_initialized(&sc->ti_mtx), ("ti mutex not initialized"));
 	TI_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;