diff --git a/ORCACDefs/stdarg.h b/ORCACDefs/stdarg.h
index c32c394..5b579f5 100644
--- a/ORCACDefs/stdarg.h
+++ b/ORCACDefs/stdarg.h
@@ -24,9 +24,9 @@
 typedef char *__va_list[2];
 #endif
 
-#define va_list __va_list
+typedef __va_list va_list;
 #define va_end(a) __va_end(a)
-#define	va_start(ap,LastFixedParm) ((void) ((ap)[0] = (ap)[1] = (char *) (&LastFixedParm + 1)));
+#define	va_start(ap,LastFixedParm) ((void) ((ap)[0] = (ap)[1] = (char *) (&LastFixedParm + 1)))
 #define	va_arg(ap,type)	((type *)((ap)[0] += sizeof(type)))[-1]
 
 void __va_end(va_list);