diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md
index 265d51bf94da305f9e9960aed6eb89ea858d818f..f406cfb190e6912d0a870c06bc8e0298aec3c994 100644
--- a/_posts/2020-01-22-hase.md
+++ b/_posts/2020-01-22-hase.md
@@ -6,9 +6,9 @@ Philippa was one of the speakers at the [Interactive Knowledge
 Shares session](https://popl20.sigplan.org/details/hase-2020-papers/2/Interactive-Knowledge-Shares) 
 of this year’s [HASE, the Workshop on High Assurance Systems Engineering]( https://popl20.sigplan.org/home/hase-2020)
 
-HASE aims to forge new collaborations and initiatives which strive to provide 
+HASE, part of [POPL20](https://popl20.sigplan.org) aims to forge new collaborations and initiatives which strive to provide 
 high levels of assurance about the correct operation and security properties 
-of production systems (software and hardware), part of [POPL20](https://popl20.sigplan.org)
+of production systems (software and hardware).
 
 Philippa presented Gillian, a language independent framework that supports 
 compositional symbolic analysis. Gillian supports three flavours of analysis: