diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 965dadc61c628edd03cdb567ab6becd6fada2f22..9477aa0b8d0a1e926f807ab8b8371cf6c58e660d 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -1,9 +1,8 @@
 ---
 title: Seminar by Felix Stutz on Automated Verification of Security Protocols 
 ---
-Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. 
-
-He presented the latest result of the project he is doing with Emanuele D’Osualdo 
+Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. He 
+presented the latest result of the project he is doing with Emanuele D’Osualdo 
 which will inform his Master Thesis.
 
 The abstract is: