diff --git a/aptos-move/framework/supra-framework/sources/staking_contract.spec.move b/aptos-move/framework/supra-framework/sources/staking_contract.spec.move
index 34cc202c6b4b1..4cac10820d783 100644
--- a/aptos-move/framework/supra-framework/sources/staking_contract.spec.move
+++ b/aptos-move/framework/supra-framework/sources/staking_contract.spec.move
@@ -588,9 +588,9 @@ spec supra_framework::staking_contract {
         requires exists<staking_config::StakingRewardsConfig>(
             @supra_framework
         ) || !std::features::spec_periodical_reward_rate_decrease_enabled();
-        // requires exists<stake::ValidatorFees>(@supra_framework);
+        requires exists<stake::ValidatorFees>(@supra_framework);
         requires exists<supra_framework::timestamp::CurrentTimeMicroseconds>(@supra_framework);
-        // requires exists<stake::SupraCoinCapabilities>(@supra_framework);
+        requires exists<stake::SupraCoinCapabilities>(@supra_framework);
     }
 
     spec schema CreateStakePoolAbortsIf {