diff --git a/repos/os/src/server/nitpicker/user_state.cc b/repos/os/src/server/nitpicker/user_state.cc
index 1cd641d043..1607d17a90 100644
--- a/repos/os/src/server/nitpicker/user_state.cc
+++ b/repos/os/src/server/nitpicker/user_state.cc
@@ -417,7 +417,7 @@ User_state::Handle_forget_result User_state::forget(View_owner const &owner)
 
 	return {
 		.hover_changed = update_hover_result.hover_changed
-		               | hover_vanished,
+		               || hover_vanished,
 		.focus_changed = focus_vanished,
 	};
 }