Fix the contract for root-value