diff --git a/agora-specs/Sample/Proposal/Unlock.hs b/agora-specs/Sample/Proposal/Unlock.hs
index 7e86ef1..4a4731d 100644
--- a/agora-specs/Sample/Proposal/Unlock.hs
+++ b/agora-specs/Sample/Proposal/Unlock.hs
@@ -310,9 +310,11 @@ unlock ps = builder
     removeLocks v c =
       filter $ \(ProposalLock pid action) ->
         pid == defProposalId
-          && case action of
-            Voted _ _ -> v
-            _ -> c
+          && not
+            ( case action of
+                Voted _ _ -> v
+                _ -> c
+            )
 
     stakeOutputDatum =
       stakeInputDatum
diff --git a/agora-specs/Spec/Proposal.hs b/agora-specs/Spec/Proposal.hs
index c0624c7..06eaf2d 100644
--- a/agora-specs/Spec/Proposal.hs
+++ b/agora-specs/Spec/Proposal.hs
@@ -424,7 +424,7 @@ specs =
                   , Unlock.mkTestTree
                       "unlock an irrelevant stake"
                       (Unlock.mkUnockIrrelevantStakes nStakes)
-                      (Unlock.Validity False True)
+                      (Unlock.Validity False False)
                   , Unlock.mkTestTree
                       "creator: retract votes"
                       (Unlock.mkCreatorRetractVotes nStakes)