diff --git a/docs/_posts/2022-10-31-luau-semantic-subtyping.md b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
index c34b2b5a..0d3d4e21 100644
--- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md
+++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
@@ -191,7 +191,7 @@ The other difference between Luau’s type system and off-the-shelf semantic sub
 The common case for wanting negated types is in typechecking conditionals:
 ```lua
 -- initially x has type T
-if (type(x) == “string”) then
+if (type(x) == "string") then
   --  in this branch x has type T & string
 else
   -- in this branch x has type T & ~string