diff --git a/hpvm/docs/hpvm-specification.md b/hpvm/docs/hpvm-specification.md
index bc19c95f9c03af261b915665cae7b1b996e5bb34..a4bcb4a73b97d572673716addefe21f0e5a6ad77 100644
--- a/hpvm/docs/hpvm-specification.md
+++ b/hpvm/docs/hpvm-specification.md
@@ -113,6 +113,7 @@ Get number of dynamic instances of node ```N``` in dimension x, y or z respectiv
 ## Intrinsics for Memory Allocation and Synchronization
 
 The following intrinsics are used for memory allocation and synchronization. They can only be used by leaf nodes.
+
 ```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, although the pointer returned must somehow be communicated explicitly for use by other nodes.