diff --git a/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile b/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
index 6da93c491..3d5c9dcbe 100644
--- a/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
+++ b/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
@@ -1,5 +1,5 @@
 # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: MIT-0
 
 HARNESS_ENTRY=harness
 HARNESS_FILE=MQTT_ReceiveLoop_harness
diff --git a/test/cbmc/proofs/Makefile-project-targets b/test/cbmc/proofs/Makefile-project-targets
index 2d4d4602a..e2517ba36 100644
--- a/test/cbmc/proofs/Makefile-project-targets
+++ b/test/cbmc/proofs/Makefile-project-targets
@@ -2,7 +2,7 @@
 # The first line sets the emacs major mode to Makefile
 
 # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: MIT-0
 
 ################################################################
 # Use this file to give project-specific targets, including targets
diff --git a/test/cbmc/proofs/Makefile-project-testing b/test/cbmc/proofs/Makefile-project-testing
index dc0c20971..27e1d14ed 100644
--- a/test/cbmc/proofs/Makefile-project-testing
+++ b/test/cbmc/proofs/Makefile-project-testing
@@ -2,7 +2,7 @@
 # The first line sets the emacs major mode to Makefile
 
 # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: MIT-0
 
 ################################################################
 # Use this file to define project-specific targets and definitions for