diff --git a/pages/stack/smart-contracts/upgrade-op-contracts-1-3-1-8.mdx b/pages/stack/smart-contracts/upgrade-op-contracts-1-3-1-8.mdx
index 77601be9e..e99834aac 100644
--- a/pages/stack/smart-contracts/upgrade-op-contracts-1-3-1-8.mdx
+++ b/pages/stack/smart-contracts/upgrade-op-contracts-1-3-1-8.mdx
@@ -27,6 +27,8 @@ This guide provides specific instructions for upgrading the OP Stack's Layer 1 c
 
 The Holocene upgrade is a protocol upgrade. Learn more about it in the [Holocene notice page](https://docs.optimism.io/notices/holocene-changes). This guide shows you how to take your OP Stack chain from the L2 Output Oracle System to a permissioned Fault Proof System contract version associated with the Holocene upgrade. 
 
+After upgrading to OP Stack contracts v1.8.0 and enabling permissioned fault proofs, all pending (unfinalized) withdrawal proofs created on L1 are invalidated. This means that withdrawals must be manually reproven by users after the upgrade; the process is not automatic.
+
 ### Formatting config files
 
 You need your chain's `deployments.json` and `deploy-config.json`
@@ -99,7 +101,7 @@ Ensure both files are correctly formatted, using the exact field names shown in
   "proxyAdminOwner": "0xb0cCdbD6fe09D2199171BE19450aF249250518A0",
   "l2OutputOracleChallenger": "0xcA4571b1ecBeC86Ea2E660d242c1c29FcB55Dc72",
 
-- add the below values if not in the config file already, making sure they are correct for your chain 
+- add the below default values, if you expect different values for your chain reach out to OP Labs support for clarification before proceeding
   "useFaultProofs": true,
   "faultGameMaxDepth": 73,
   "faultGameSplitDepth": 30,
@@ -110,7 +112,7 @@ Ensure both files are correctly formatted, using the exact field names shown in
 - You can update this to the latest absolute prestate hash in the Superchain Registry; however, the permissioned Fault Proof System doesn't use this. This comes into play when you upgrade your chain to the permissionless Fault Proof System.
   "faultGameAbsolutePrestate": "0x03925193e3e89f87835bbdf3a813f60b2aa818a36bbe71cd5d8fd7e79f52bafe",
   
-- add the below values if not in the config file already, making sure they are correct for your chain  
+- add the below default values, if you expect different values for your chain, reach out to OP Labs support for clarification before proceeding  
   "faultGameGenesisBlock": 0,
   "faultGameGenesisOutputRoot": "0xdead000000000000000000000000000000000000000000000000000000000000",
   "respectedGameType": 1,