diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md
index 83e9ba14ee3359e045cc1f315461ee0f57924f79..c77675b428800a77c68e61957b3e18a2d9417731 100644
--- a/teaching/separationlogic.md
+++ b/teaching/separationlogic.md
@@ -43,9 +43,9 @@ Coursework Published: Monday 6th of November
 
 Submitted: Wednesday 15th of November 
 
-Feedback: Monday 20tht of November
+Feedback: Monday 20th of November
 
-Exam: 11th week
+Exam: TBC 11th week
 
 Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/~mjcg/Teaching/2011/Hoare/Notes/Notes.pdf), which briefly touches on separation logic in the last chapter. 
 Two good books on Hoare logic are: Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth and Mark Ryan, CUP, 2004; and The Formal Semantics of Programming Languages: an Introduction, Glynn Winskel, MIT Press, 1993.