diff --git a/_posts/2017-08-12-cade.md b/_posts/2017-08-12-cade.md
index 7c5f9af757e8b42123bfd375e6c9abbc07f0dce7..a11b035e72a202e46ed7ee9f2010bab29e201cb6 100644
--- a/_posts/2017-08-12-cade.md
+++ b/_posts/2017-08-12-cade.md
@@ -10,7 +10,6 @@ and [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/)
 
 This position paper proposes a possible pathway to achieve scalable symbolic verification of JavaScript based on separation logic. 
 It also highlights the difficulties imposed by the language and the current state-of-the-art in the literature.
-The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects 
-of automated deduction is presented. 
 
-The conference, first established in 1974 is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org)
\ No newline at end of file
+The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects 
+of automated deduction is presented. The conference, first established in 1974, is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org)
\ No newline at end of file