diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 74bf8a2d05004e7648abc13e3fec835f3799e6d7..434a83acc7179436e32906cb9ea0b91f3b7404ad 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -2,8 +2,7 @@
 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 work on the project he is doing with Emanuele D’Osualdo and which  
-will inform his Master Thesis.
+presented the latest work on the project he is doing with Emanuele D’Osualdo and which will inform his Master Thesis.
 
 The abstract is: 
 Security protocols are distributed programs that are designed to achieve secure