diff --git a/proof/deploy_contract.zk b/proof/deploy_contract.zk
index f7097ae71..7e973d7f6 100644
--- a/proof/deploy_contract.zk
+++ b/proof/deploy_contract.zk
@@ -19,7 +19,7 @@ circuit "DeployContract" {
 	constrain_instance(signature_y);
 
 	# Derive the contract address from the public key's coordinates
-	address = poseidon_hash(signature_x, signature_y)
+	address = poseidon_hash(signature_x, signature_y);
 	constrain_instance(address);
 
 	# Constrain the byte size of the deployed binaries
diff --git a/src/zkas/compiler.rs b/src/zkas/compiler.rs
index 5788643e4..7da2f9dbc 100644
--- a/src/zkas/compiler.rs
+++ b/src/zkas/compiler.rs
@@ -81,6 +81,7 @@ impl Compiler {
                 StatementType::Assign => tmp_stack.push(&i.lhs.as_ref().unwrap().name),
                 // In case of a simple call, we don't append anything to the stack
                 StatementType::Call => {}
+                // TODO: FIXME: unreachable is reached with missing semicolons in the code
                 _ => unreachable!(),
             }