diff --git a/src/system/kernel/scheduler/RunQueue.h b/src/system/kernel/scheduler/RunQueue.h
index 1b9a78f38e..aae6482195 100644
--- a/src/system/kernel/scheduler/RunQueue.h
+++ b/src/system/kernel/scheduler/RunQueue.h
@@ -265,11 +265,10 @@ RUN_QUEUE_CLASS_NAME::PeekMaximum() const
 	ASSERT(fHeads[priority] != NULL);
 
 	Element* element = fHeads[priority];
-	RunQueueLink<Element>* elementLink = sGetLink(element);
 
-	ASSERT(elementLink->fPriority == priority);
+	ASSERT(sGetLink(element)->fPriority == priority);
 	ASSERT(fTails[priority] != NULL);
-	ASSERT(elementLink->fPrevious == NULL);
+	ASSERT(sGetLink(element)->fPrevious == NULL);
 
 	return element;
 }
diff --git a/src/system/kernel/scheduler/scheduler.cpp b/src/system/kernel/scheduler/scheduler.cpp
index 824dbe4ace..541f5ea9d7 100644
--- a/src/system/kernel/scheduler/scheduler.cpp
+++ b/src/system/kernel/scheduler/scheduler.cpp
@@ -700,8 +700,7 @@ scheduler_set_cpu_enabled(int32 cpuID, bool enabled)
 	CPUEntry* cpu = &gCPUEntries[cpuID];
 	CoreEntry* core = cpu->Core();
 
-	int32 oldCPUCount = core->CPUCount();
-	ASSERT(oldCPUCount >= 0);
+	ASSERT(core->CPUCount() >= 0);
 	if (enabled)
 		cpu->Start();
 	else {