diff --git a/sys/x86/iommu/intel_idpgtbl.c b/sys/x86/iommu/intel_idpgtbl.c
index e105b9b13b75..405976b26801 100644
--- a/sys/x86/iommu/intel_idpgtbl.c
+++ b/sys/x86/iommu/intel_idpgtbl.c
@@ -386,7 +386,7 @@ domain_pgtbl_map_pte(struct dmar_domain *domain, dmar_gaddr_t base, int lvl,
 			 * Prevent potential free while pgtbl_obj is
 			 * unlocked in the recursive call to
 			 * domain_pgtbl_map_pte(), if other thread did
-			 * pte write and clean while the lock if
+			 * pte write and clean while the lock is
 			 * dropped.
 			 */
 			m->wire_count++;