diff --git a/repos/base-pistachio/src/core/platform.cc b/repos/base-pistachio/src/core/platform.cc
index 5068e4b57..d37b17cbb 100644
--- a/repos/base-pistachio/src/core/platform.cc
+++ b/repos/base-pistachio/src/core/platform.cc
@@ -66,7 +66,7 @@ static unsigned long _core_pager_stack[PAGER_STACK_ELEMENTS];
 
 
 static inline bool write_fault(Pistachio::L4_Word_t flags) {
-	return (flags & 2) == 1; }
+	return (flags & 2); }
 
 
 static bool wait_for_page_fault(Pistachio::L4_ThreadId_t &from,