diff --git a/reactos/include/ndk/pstypes.h b/reactos/include/ndk/pstypes.h
index d5cb50351de..cfda8e52bf5 100644
--- a/reactos/include/ndk/pstypes.h
+++ b/reactos/include/ndk/pstypes.h
@@ -13,8 +13,8 @@
 #include "ldrtypes.h"
 #include "mmtypes.h"
 #include "obtypes.h"
-//#include "extypes.h"
 #ifndef NTOS_MODE_USER
+#include "extypes.h"
 #include "setypes.h"
 #endif
 
diff --git a/reactos/ntoskrnl/ke/sem.c b/reactos/ntoskrnl/ke/sem.c
index c7464c9f33e..69d3b2a9a64 100644
--- a/reactos/ntoskrnl/ke/sem.c
+++ b/reactos/ntoskrnl/ke/sem.c
@@ -76,7 +76,7 @@ KeReleaseSemaphore(PKSEMAPHORE Semaphore,
                    LONG Adjustment,
                    BOOLEAN Wait)
 {
-    LONG InitialState, ULONG State;
+    LONG InitialState, State;
     KIRQL OldIrql;
     PKTHREAD CurrentThread;
 
@@ -91,7 +91,7 @@ KeReleaseSemaphore(PKSEMAPHORE Semaphore,
 
     /* Save the Old State and get new one */
     InitialState = Semaphore->Header.SignalState;
-    State = InitialState + Adjustement;
+    State = InitialState + Adjustment;
 
     /* Check if the Limit was exceeded */
     if ((Semaphore->Limit < State) || (InitialState > State))
@@ -105,7 +105,7 @@ KeReleaseSemaphore(PKSEMAPHORE Semaphore,
     Semaphore->Header.SignalState = State;
 
     /* Check if we should wake it */
-    if (!(InitialState) && !(IsListEmpty(&Semaphore->Header.WaitListHead))
+    if (!(InitialState) && !(IsListEmpty(&Semaphore->Header.WaitListHead)))
     {
         /* Wake the Semaphore */
         KiWaitTest(&Semaphore->Header, Increment);