diff --git a/packages/protocol/specs/governance.spec b/packages/protocol/specs/governance.spec
index 25fe61c4fef..4b9f4e5f08f 100644
--- a/packages/protocol/specs/governance.spec
+++ b/packages/protocol/specs/governance.spec
@@ -28,8 +28,8 @@ methods {
     getVotedId(address, uint256) returns uint256 envfree
 
     // dispatches to Accounts
-    voteSignerToAccount(address) envfree => DISPATCHER(true)
-    getVoteSigner(address) returns address envfree => DISPATCHER(true)
+    voteSignerToAccount(address) envfree => DISPATCHER(true) UNRESOLVED
+    getVoteSigner(address) returns address envfree => DISPATCHER(true) UNRESOLVED
 }
 
 ghost votedFor(address,uint256) returns bool { // voter to proposal id voted for