diff --git a/pci/pci.c b/pci/pci.c
index 235df98..82d52f2 100644
--- a/pci/pci.c
+++ b/pci/pci.c
@@ -34,7 +34,7 @@
 #include "interrupts.h"
 #include "wait.h"
 
-#define DEBUG_PCI
+// #define DEBUG_PCI
 #ifdef DEBUG_PCI
 #define dbg(format, arg...) do { xprintf("DEBUG: %s(): " format, __FUNCTION__, ##arg); } while (0)
 #else
diff --git a/tos/fpga_test/sources/fpga_test.c b/tos/fpga_test/sources/fpga_test.c
index 4a943ab..25e514d 100644
--- a/tos/fpga_test/sources/fpga_test.c
+++ b/tos/fpga_test/sources/fpga_test.c
@@ -27,8 +27,8 @@ int i;
 void do_tests(void)
 {
     volatile unsigned long *t1 = (volatile unsigned long *) 0xf0000000;
-    volatile unsigned short *t2 = (volatile unsigned short *) 0xf0000004;
-    volatile unsigned short *t3 = (volatile unsigned short *) 0xf0000006;
+    volatile unsigned short *t2 = (volatile unsigned short *) 0xf0000000;
+    volatile unsigned short *t3 = (volatile unsigned short *) 0xf0000002;
     long value = 0;
 
     while (1)