diff --git a/.github/workflows/release-docs.yml b/.github/workflows/release-docs.yml
index 26f0cc1..e4ea1f7 100644
--- a/.github/workflows/release-docs.yml
+++ b/.github/workflows/release-docs.yml
@@ -18,7 +18,7 @@ jobs:
         apt-get update && apt-get install -y curl python3-venv
         pack --no-prompt run plasma.ipkg
         python3 -m venv .venv
-        source .venv/bin/activate
+        . .venv/bin/activate
         pip install -r plot/requirements.txt -c plot/constraints.txt
         python3 plot/plot.py
         mkdir docs
diff --git a/src/Main.idr b/src/Main.idr
index a23a537..8c0fddf 100644
--- a/src/Main.idr
+++ b/src/Main.idr
@@ -32,7 +32,6 @@ product2 : (a, b : Nat) -> (rest : List Nat) ->
 product2 Z _ _ = Refl
 product2 (S aa) _ _ = ?product2Succ
 
-partial
 main : IO ()
 main = do
   let key = tensor {dtype = U64} 1