diff --git a/test/cbmc/proofs/Socket/vSocketWakeUpUser/Makefile.json b/test/cbmc/proofs/Socket/vSocketWakeUpUser/Makefile.json
index f3bedc2494..b1f85775cc 100644
--- a/test/cbmc/proofs/Socket/vSocketWakeUpUser/Makefile.json
+++ b/test/cbmc/proofs/Socket/vSocketWakeUpUser/Makefile.json
@@ -14,7 +14,7 @@
   "DEF":
   [
     "ipconfigSOCKET_HAS_USER_SEMAPHORE=1",
-    "ipconfigSOCKET_HAS_USER_WAKE_CAlLBACK=1",
+    "ipconfigSOCKET_HAS_USER_WAKE_CALLBACK=1",
     "ipconfigSUPPORT_SELECT_FUNCTION=1",
     "configUSE_16_BIT_TICKS=0"
   ],
diff --git a/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/Makefile.json b/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/Makefile.json
index a8b8a25612..49f3d9dd29 100644
--- a/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/Makefile.json
+++ b/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/Makefile.json
@@ -17,6 +17,6 @@
   ],
   "DEF":
   [
-   "ipconfigUST_TCP_WIN=1"
+   "ipconfigUSE_TCP_WIN=1"
   ]
 }