diff --git a/windows/winctrls.c b/windows/winctrls.c
index 428b6e55..a0877177 100644
--- a/windows/winctrls.c
+++ b/windows/winctrls.c
@@ -267,10 +267,9 @@ void radioline(struct ctlpos *cp, char *text, int id, int nacross, ...)
     nbuttons = 0;
     while (1) {
 	char *btext = va_arg(ap, char *);
-	int bid;
 	if (!btext)
 	    break;
-	bid = va_arg(ap, int);
+	(void) va_arg(ap, int); /* id */
 	nbuttons++;
     }
     va_end(ap);
@@ -299,10 +298,9 @@ void bareradioline(struct ctlpos *cp, int nacross, ...)
     nbuttons = 0;
     while (1) {
 	char *btext = va_arg(ap, char *);
-	int bid;
 	if (!btext)
 	    break;
-	bid = va_arg(ap, int);
+	(void) va_arg(ap, int); /* id */
     }
     va_end(ap);
     buttons = snewn(nbuttons, struct radio);
@@ -330,10 +328,9 @@ void radiobig(struct ctlpos *cp, char *text, int id, ...)
     nbuttons = 0;
     while (1) {
 	char *btext = va_arg(ap, char *);
-	int bid;
 	if (!btext)
 	    break;
-	bid = va_arg(ap, int);
+	(void) va_arg(ap, int); /* id */
     }
     va_end(ap);
     buttons = snewn(nbuttons, struct radio);