diff --git a/hpvm/docs/hpvm-specification.md b/hpvm/docs/hpvm-specification.md
index 048b9bd5455845a21f84b50cf1cf2020bddb055e..c3706faa273fba931c2eb32a128300a46ef3193a 100644
--- a/hpvm/docs/hpvm-specification.md
+++ b/hpvm/docs/hpvm-specification.md
@@ -129,7 +129,7 @@ The following intrinsics are used for memory allocation and synchronization. The
 
 ```i8* llvm.hpvm.malloc(i64 nBytes)```  
 Allocate a block of memory of size ```nBytes``` and return pointer to it. The allocated object can be shared by all nodes.  
-*Note that the pointer returned must somehow be communicated explicitly for use by other nodes.*
+*Note that the returned pointer must somehow be communicated explicitly for use by other nodes.*
 
 ```i32 llvm.hpvm.atomic.add(i8* m, i32 v)```  
 Atomically computes the bitwise ADD of ```v``` and the value stored at memory location ```[m]``` w.r.t. the dynamic instances of the current leaf node and stores the result back into ```[m]```. Returns the value previously stored at ```[m]```.