diff --git a/src/system/kernel/system_info.cpp b/src/system/kernel/system_info.cpp
index 82929d0c4b..7f7287c232 100644
--- a/src/system/kernel/system_info.cpp
+++ b/src/system/kernel/system_info.cpp
@@ -574,7 +574,7 @@ generate_topology_array(cpu_topology_node_info* topology,
 
 	count--;
 	topology++;
-	for (int32 i = 0; i < node->children_count && count > 0; i++, count--)
+	for (int32 i = 0; i < node->children_count && count > 0; i++)
 		topology = generate_topology_array(topology, node->children[i], count);
 	return topology;
 }