diff --git a/website/docs/02-separation-logic-and-biabduction.md b/website/docs/02-separation-logic-and-biabduction.md
index a543696ca..3c59e5356 100644
--- a/website/docs/02-separation-logic-and-biabduction.md
+++ b/website/docs/02-separation-logic-and-biabduction.md
@@ -72,7 +72,7 @@ Now, suppose we have two resources <Math code="\\( r\_1 \\)" /> and
 <Math code="\\( r\_2 \\)" />, described by
 <Math code="\\(r\_1 \mapsto open * r\_2 \mapsto open\\)" /> and we close the
 first of them. We think operationally in terms of updating the memory in place,
-leaving \\(r_2 \mapsto open\\) alone, as described by this triple:
+leaving <Math code="\\(r\_2 \mapsto open\\)" /> alone, as described by this triple:
 
 ---
 
diff --git a/website/docs/04-absint-framework.md b/website/docs/04-absint-framework.md
index 0fba85ebc..af3244fe5 100644
--- a/website/docs/04-absint-framework.md
+++ b/website/docs/04-absint-framework.md
@@ -24,7 +24,7 @@ from @Scale2016.
 
 **If you feel like coding instead of reading, a great way to get started with
 Infer.AI is to go through the lab exercise
-[here](https://github.com/facebook/infer/blob/master/infer/src/labs/lab.md).**
+[here](https://github.com/facebook/infer/blob/master/infer/src/labs/README.md).**
 
 ## By example: intraprocedural analysis