diff --git a/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv b/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv
index 7e3290f..0ac2f7d 100644
--- a/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv
@@ -257,8 +257,8 @@ function TlbPermissionCheck hasVMPermission(
                 end
                 // perform generation check
                 if (pte_upper_type.cap_read_mod
-                    && (pte_type.user ? vm_info.globalCapLoadGenU : vm_info.globalCapLoadGenS)
-                       != pack(pte_upper_type.cap_read_gen)) begin
+                    && ((pte_type.user ? vm_info.globalCapLoadGenU : vm_info.globalCapLoadGenS)
+                       != pack(pte_upper_type.cap_read_gen))) begin
                     fault = True;
                 end
             end