diff --git a/README.md b/README.md
index 3ed612758303809c95c9fa7a04266335e935ad58..0ed8f4c30a0900744b9c3bde08f391c958559743 100644
--- a/README.md
+++ b/README.md
@@ -137,7 +137,7 @@ public static void test(int[] a) {
 ```
 
 The resulting (raw) model:
-```yaml
+```scala
 a.null -> true
 a -> {
   0 -> 1
@@ -147,7 +147,7 @@ a -> {
 ```
 
 Essentially this model tells us that the two preconditions are not equivalent with an `a` that is both `null` and `[1, 0]`. A post-processing step has been added to pretty print the model and it shows:
-```yaml
+```scala
 a = null
 ```
 
@@ -168,7 +168,7 @@ public static void test2(int[] a) {
 ```
 
 The resulting (raw) model:
-```yaml
+```scala
 a.length -> 1
 a -> {
   0 -> 0
@@ -178,7 +178,7 @@ a -> {
 ```
 
 This model tells us that `a.length == 1` and that `a == [0, 1]` which is contradictory. A postprocessing step has been added to pretty print the model. And the result will instead show:
-```yaml
+```scala
 a = inconsistent array representation
 ```