diff --git a/_posts/2020-05-19-song.md  b/_posts/2020-05-19-song.md 
index ff304478d84c164752119b6c272f25a7cecad392..ccbf280ef58eeb943246bcc9d8dbceeb11cb2ba6 100644
--- a/_posts/2020-05-19-song.md 	
+++ b/_posts/2020-05-19-song.md 	
@@ -1,5 +1,5 @@
 ---
-Title: PLDI 2020, song and REMS+DeepSpec workshop
+title: PLDI 2020, song and REMS+DeepSpec workshop
 ---
 
 This year’s PLDI has moved online and the organisers have