diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 194408813ab2b70e58186471216281f18d2444b1..965dadc61c628edd03cdb567ab6becd6fada2f22 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -2,8 +2,10 @@
 title: Seminar by Felix Stutz on Automated Verification of Security Protocols 
 ---
 Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. 
-This work is part of the project he is doing with Emanuele D’Osualdo and will 
-inform his Master Thesis.
+
+He presented the latest result of the project he is doing with Emanuele D’Osualdo 
+which will inform his Master Thesis.
+
 The abstract is: 
 Security protocols are distributed programs that are designed to achieve secure 
 communications using cryptography. A distinctive feature of the security properties