diff --git a/repos/os/src/drivers/platform/types.h b/repos/os/src/drivers/platform/types.h
index 54b93f8f93..bc0c07069e 100644
--- a/repos/os/src/drivers/platform/types.h
+++ b/repos/os/src/drivers/platform/types.h
@@ -58,7 +58,7 @@ namespace Driver {
 
 				_count--;
 
-				if (--_count == 0)
+				if (_count == 0)
 					(_dev.*_deactivate)();
 			}
 	};