diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md
index fc6ae959cfced483745bf041788a4a5b31458919..9884acdd135f0f403dc2b05a6a45ada67781ab06 100644
--- a/teaching/separationlogic.md
+++ b/teaching/separationlogic.md
@@ -31,7 +31,7 @@ Facebook will run a lab on Infer on 14th November.
 The last week will provide an introduction to concurrent separation logics.
 With Brookes, O'Hearn won the Godel prize for this work in 2016.
 
-#### General Information
+#### General Information for 2016 fall
 
 Time:  Mondays 2pm-4pm, 2nd--9th week