Update 2017-05-09-Kloss.md

_posts/2017-05-09-Kloss.md → _posts/2017-05-09-Kloos.md

 ---
-title: Johannes Kloss, visitor from MPI
+title: Johannes Kloos, visitor from MPI
 ---
-[Johannes Kloss]( https://people.mpi-sws.org/~jkloos/), a fourth-year PhD student at the [Max Planck Institute for Software Systems](https://www.mpi-sws.org/) 
+[Johannes Kloos]( https://people.mpi-sws.org/~jkloos/), a fourth-year PhD student at the [Max Planck Institute for Software Systems](https://www.mpi-sws.org/) 
 visited the group this week. 
 
 Johannes gave a talk to the group about his current research, on Reasoning about event-based concurrency with Asynchronous Liquid Separation Types.