diff --git a/README.md b/README.md
index 2d9bb0d..28941c5 100644
--- a/README.md
+++ b/README.md
@@ -50,7 +50,7 @@ Pomelo introduces an array of extended syntactic constructs into Bitcoin Script
    Inserts a large integer onto the stack in little-endian order, occupying ` ceil(n_bits/limb_size)` stack elements corresponding to individual limbs. Each non-base stack element represents a machine integer of `limb_size` bits, whereas the base element encapsulates `(n_bits - 1) mod limb_size + 1`$` bits.
    - Subsequently, the large integer pushed onto the stack is denoted by the symbolic variable $v_i$, with `limbs{i}[j]` representing the $j$-th limb of $v_i$.
    - The variable $v_i$ is syntactic sugar for the expression:  
-     `v_i = limbsi[0] + limbsi[1] * (1 << limb_size) + ... + limbsi[ceil(n_bits/limb_size) - 1] * (1 << (ceil(n_bits/limb_size) - 1) * limb_size))`
+     `v_i = limbsi[0] + limbsi[1] * (1 << limb_size) + ... + limbsi[ceil(n_bits/limb_size) - 1] * (1 << ((ceil(n_bits/limb_size) - 1) * limb_size))`
 
 
 2. **`PUSH_SYMINT_{i}`**  
diff --git a/pomelo/bs/ast.rkt b/pomelo/bs/ast.rkt
index e8fd5e3..7fdf19f 100644
--- a/pomelo/bs/ast.rkt
+++ b/pomelo/bs/ast.rkt
@@ -426,7 +426,7 @@
 ; ...
 
 ; ======================================= ;
-; ======== pomela symbolic words ======== ;
+; ======== pomelo symbolic words ======== ;
 ; ======================================= ;
 
 
diff --git a/pomelo/bs/svm.rkt b/pomelo/bs/svm.rkt
index 208aadc..19fba73 100644
--- a/pomelo/bs/svm.rkt
+++ b/pomelo/bs/svm.rkt
@@ -366,7 +366,7 @@
    ; ============================== ;
    ; no op code here
    ; ======================================= ;
-   ; ======== pomela symbolic words ======== ;
+   ; ======== pomelo symbolic words ======== ;
    ; ======================================= ;
    [(bs::op::symint x)
     (define r (fresh-symbolic* (format "v~a" x) 'int))