diff --git a/README.md b/README.md
index 740d93261e683..29a57998c0419 100644
--- a/README.md
+++ b/README.md
@@ -35,19 +35,19 @@ cargo +enzyme test --examples
 ```
 
 ## Enzyme Config
-To help with debugging, Enzyme can be configured using four environment variables.
+To help with debugging, Enzyme can be configured using environment variables.
 ```bash
 export ENZYME_PRINT_TA=1
 export ENZYME_PRINT_AA=1
 export ENZYME_PRINT=1
 export ENZYME_PRINT_MOD=1
+export ENZYME_PRINT_MOD_AFTER=1
 ```
 The first three will print TypeAnalysis, ActivityAnalysis and the llvm-ir on a function basis, respectively.
-The last variable can be used to print the whole module directly before Enzyme starts
-differentiating functions. 
+The last two variables will print the whole module directly before and after Enzyme differented the functions. 
 
-We want to make sure that we have EnzymeStrictAliasing=0 all the time to make sure
-that Enzyme handles enums correctly. Other flags might be enabled for debug purpose.
+When experimenting with flags please make sure that EnzymeStrictAliasing=0
+is not changed, since it is required for Enzyme to handle enums correctly.
 
 
 
diff --git a/compiler/rustc_codegen_llvm/src/back/write.rs b/compiler/rustc_codegen_llvm/src/back/write.rs
index 85ffaa1cbce5a..5e0eda30d68a2 100644
--- a/compiler/rustc_codegen_llvm/src/back/write.rs
+++ b/compiler/rustc_codegen_llvm/src/back/write.rs
@@ -748,7 +748,6 @@ pub(crate) unsafe fn differentiate(
 
     if std::env::var("ENZYME_PRINT_MOD").is_ok() {
         unsafe {LLVMDumpModule(llmod);}
-
     }
     for item in diff_items {
         let res = enzyme_ad(llmod, llcx, item);
@@ -772,6 +771,9 @@ pub(crate) unsafe fn differentiate(
             break;
         }
     }
+    if std::env::var("ENZYME_PRINT_MOD_AFTER").is_ok() {
+        unsafe {LLVMDumpModule(llmod);}
+    }
 
     Ok(())
 }