diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index b9ce9101..fe54fb18 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -5,6 +5,7 @@ on:
 jobs:
   pypi:
     runs-on: ubuntu-latest
+    environment: release
     steps:
       - name: Checkout
         uses: actions/checkout@v3
diff --git a/examples/tokens/ERC20/test/CurveTokenV3.t.sol b/examples/tokens/ERC20/test/CurveTokenV3.t.sol
index f0cead5a..3e1f1aad 100644
--- a/examples/tokens/ERC20/test/CurveTokenV3.t.sol
+++ b/examples/tokens/ERC20/test/CurveTokenV3.t.sol
@@ -4,6 +4,8 @@ pragma solidity >=0.8.0 <0.9.0;
 import {SymTest} from "halmos-cheatcodes/SymTest.sol";
 import {ERC20Test} from "./ERC20Test.sol";
 
+// https://github.com/curvefi/curve-contract/blob/master/contracts/tokens/CurveTokenV3.vy
+
 // Auto-generated by https://bia.is/tools/abi2solidity/
 interface CurveTokenV3 {
   function decimals (  ) external view returns ( uint256 );