diff --git a/reactos/ntoskrnl/mm/ARM3/pfnlist.c b/reactos/ntoskrnl/mm/ARM3/pfnlist.c
index 8a292c3a107..0143b6f7027 100644
--- a/reactos/ntoskrnl/mm/ARM3/pfnlist.c
+++ b/reactos/ntoskrnl/mm/ARM3/pfnlist.c
@@ -931,11 +931,8 @@ MiDecrementShareCount(IN PMMPFN Pfn1,
         ASSERT(Pfn1->u3.e2.ReferenceCount != 0);
         if (Pfn1->u3.e2.ReferenceCount == 1)
         {
-            if(Pfn1->u3.e1.PrototypePte == 0)
-            {
-                /* In ReactOS, this path should always be hit with a deleted PFN */
-                ASSERT(MI_IS_PFN_DELETED(Pfn1) == TRUE);
-            }
+            /* In ReactOS, this path should always be hit with a deleted PFN */
+            ASSERT((MI_IS_PFN_DELETED(Pfn1) == TRUE) || (Pfn1->u3.e1.PrototypePte == 1));
 
             /* Clear the last reference */
             Pfn1->u3.e2.ReferenceCount = 0;