diff --git a/src/ansi-c/library/cprover_contracts.c b/src/ansi-c/library/cprover_contracts.c
index 07a9b808301..c677bb5a3b1 100644
--- a/src/ansi-c/library/cprover_contracts.c
+++ b/src/ansi-c/library/cprover_contracts.c
@@ -1370,7 +1370,6 @@ __CPROVER_HIDE:;
     __CPROVER_bool record_may_leak = __VERIFIER_nondet___CPROVER_bool();
     __CPROVER_memory_leak = record_may_leak ? ptr : __CPROVER_memory_leak;
 
-    // record fresh object in the caller's write set
 #ifdef __CPROVER_DFCC_DEBUG_LIB
     __CPROVER_contracts_obj_set_add(write_set->linked_allocated, ptr);
 #else
diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_pointer_equals.cpp b/src/goto-instrument/contracts/dynamic-frames/dfcc_pointer_equals.cpp
index 063bddb9022..45c960abd0e 100644
--- a/src/goto-instrument/contracts/dynamic-frames/dfcc_pointer_equals.cpp
+++ b/src/goto-instrument/contracts/dynamic-frames/dfcc_pointer_equals.cpp
@@ -9,15 +9,14 @@ Date: Jan 2025
 
 #include "dfcc_pointer_equals.h"
 
-#include <util/expr_iterator.h>
+#include <util/c_types.h>
 #include <util/cprover_prefix.h>
+#include <util/expr_iterator.h>
 #include <util/pointer_expr.h>
 #include <util/replace_expr.h>
-#include <util/c_types.h>
 #include <util/std_code.h>
 #include <util/std_expr.h>
 #include <util/symbol.h>
-
 #include "dfcc_cfg_info.h"
 #include "dfcc_library.h"