Fix title of Matchable doc page

odersky · odersky · commit 28dbdc603d58 · 2020-12-16T11:13:22.000+01:00
diff --git a/docs/docs/reference/other-new-features/matchable.md b/docs/docs/reference/other-new-features/matchable.md
@@ -1,6 +1,6 @@
 ---
 layout: doc-page
-title: The Matchable Trait
+title: "The Matchable Trait"
 ---
 
 A new trait `Matchable` controls the ability to pattern match.
