diff --git a/docs/types.md b/docs/types.md
index e8d63b7..dac280c 100644
--- a/docs/types.md
+++ b/docs/types.md
@@ -455,7 +455,7 @@ x = y; // 报错
 y = x; // 正确
 ```
 
-上面示例中，变量`x`属于子类型，变量`y`属于父类型。`y`不能赋值为子类型`x`，但是反过来是可以的。
+上面示例中，变量`x`属于子类型，变量`y`属于父类型。子类型`x`不能赋值为父类型`y`，但是反过来是可以的。
 
 如果一定要让子类型可以赋值为父类型的值，就要用到类型断言（详见《类型断言》一章）。