diff --git a/_posts/2020-06-19-plditalk.md b/_posts/2020-06-19-plditalk.md
index 5c56ea5fca6e0b7a2a6530b32ae7bc2724f8de67..c5541cb73b558f2e0dd2f48631bc99c6ccb48e06 100644
--- a/_posts/2020-06-19-plditalk.md
+++ b/_posts/2020-06-19-plditalk.md
@@ -1,5 +1,5 @@
 ---
-title:  Video talk on Gillian at PLDI  2020
+title:  Video talk on Gillian at PLDI 2020
 ---
 
 The talk by Petar Maksimovic on [Gillian: a Multi-language Platform for Program Correctness and Incorrectness](https://pldi20.sigplan.org/details/rems-deepspec-2020/10/Gillian-a-Multi-language-Platform-for-Program-Correctness-and-Incorrectness), presented at [PLDI 2020]( https://pldi20.sigplan.org/), is now available on the PLDI YouTube channel, and can be seen on the link [here]( https://youtu.be/TurhBym2leA) or below.