diff --git a/README.md b/README.md
index 999d79dc..095e0ed0 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ VeriSol (Verifier for Solidity) is a [Microsoft Research project](https://www.mi
 programs in Solidity language to programs in [Boogie](https://github.com/boogie-org/boogie) intermediate 
 verification language, and then leveraging and extending the verification toolchain for Boogie programs. The following [blog](https://www.microsoft.com/en-us/research/blog/researchers-work-to-secure-azure-blockchain-smart-contracts-with-formal-verification/) provides a high-level overview of the initial goals or VeriSol.
 
-The following paper describes the design of VeriSol and application of smart contract verification for [Azure Blockchain](https://azure.microsoft.com/en-us/solutions/blockchain/).
+The following paper describes the design of VeriSol and application of smart contract verification for [Azure Blockchain](https://azure.microsoft.com/en-us/solutions/blockchain/):
 
 > [__Formal Specification and Verification of Smart Contracts for Azure Blockchain__](https://www.microsoft.com/en-us/research/publication/formal-specification-and-verification-of-smart-contracts-for-azure-blockchain/),  Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, https://arxiv.org/abs/1812.08829