diff --git a/src/video/wscons/SDL_wsconsevents.c b/src/video/wscons/SDL_wsconsevents.c
index 96565c3d9..8a4d0546e 100644
--- a/src/video/wscons/SDL_wsconsevents.c
+++ b/src/video/wscons/SDL_wsconsevents.c
@@ -121,8 +121,7 @@ static void updateKeyboard(_THIS)
       unsigned char c = buf[i] & 0x7f;
       if (c == 224) // special key prefix -- what should we do with it?
 	continue;
-      int release = (buf[i] & 0x80) != 0;
-      posted += SDL_PrivateKeyboard(release ? SDL_RELEASED : SDL_PRESSED,
+      posted += SDL_PrivateKeyboard((buf[i] & 0x80) ? SDL_RELEASED : SDL_PRESSED,
 				    TranslateKey(c, &keysym));
     }
   }
diff --git a/src/video/wscons/SDL_wsconsvideo.c b/src/video/wscons/SDL_wsconsvideo.c
index 4b45a6da7..45f99c123 100644
--- a/src/video/wscons/SDL_wsconsvideo.c
+++ b/src/video/wscons/SDL_wsconsvideo.c
@@ -70,10 +70,10 @@ static void WSCONS_UpdateRects(_THIS, int numrects, SDL_Rect *rects);
 void WSCONS_ReportError(char *fmt, ...)
 {
   char message[200];
+  va_list vaArgs;
   
   message[199] = '\0';
   
-  va_list vaArgs;
   va_start(vaArgs, fmt);
   vsnprintf(message, 199, fmt, vaArgs);
   va_end(vaArgs);