diff --git a/src/arch/i386/lib/hardwaremain.c b/src/arch/i386/lib/hardwaremain.c
index 806ebd723a..6f7ba10505 100644
--- a/src/arch/i386/lib/hardwaremain.c
+++ b/src/arch/i386/lib/hardwaremain.c
@@ -58,7 +58,6 @@ static char rcsid[] = "$Id$";
 #include <smp/atomic.h>
 #if defined(SMP)
 #include<arch/smp/mpspec.h>
-#include<arch/smp/atomic.h>
 #endif
 
 
diff --git a/src/include/smp/atomic.h b/src/include/smp/atomic.h
index c838c55034..496f052dd0 100644
--- a/src/include/smp/atomic.h
+++ b/src/include/smp/atomic.h
@@ -5,7 +5,7 @@
 #include <arch/smp/atomic.h>
 #else
 
-typedef struct { int counter } atomic_t;
+typedef struct { int counter; } atomic_t;
 #define ATOMIC_INIT(i) { (i) }
 
 /**