diff --git a/moonbit-docs/docs/README.md b/moonbit-docs/docs/README.md
index 76e138e4..78f09eff 100644
--- a/moonbit-docs/docs/README.md
+++ b/moonbit-docs/docs/README.md
@@ -1991,9 +1991,15 @@ trait ToMyBinaryProtocol {
 }
 
 impl ToMyBinaryProtocol for Int with to_my_binary_protocol(x, b) { ... }
-impl ToMyBinaryProtocol for Int with to_my_binary_protocol(x, b) { ... }
-impl ToMyBinaryProtocol for Int with to_my_binary_protocol(x, b) { ... }
-impl[X : ToMyBinaryProtocol] for Array[X] with to_my_binary_protocol(arr, b) { ... }
+
+impl ToMyBinaryProtocol for UInt with to_my_binary_protocol(x, b) { ... }
+
+impl[X : ToMyBinaryProtocol] ToMyBinaryProtocol for Array[X] with to_my_binary_protocol(
+  arr,
+  b
+) {
+  ...
+}
 ```
 
 When searching for the implementation of a trait, `impl`s have a higher priority, so they can be used to override ordinary methods with undesirable behavior. `impl`s can only be used to implement the specified trait. They cannot be called directly like ordinary methods. Furthermore, _only the package of the type or the package of the trait can define an implementation_. For example, only `@pkg1` and `@pkg2` are allowed to define `impl @pkg1.Trait for @pkg2.Type` for type `@pkg2.Type`. This restriction ensures that MoonBit's trait system is still coherent with the extra flexibility of `impl`s.
diff --git a/moonbit-docs/i18n/zh/docusaurus-plugin-content-docs/current/README.md b/moonbit-docs/i18n/zh/docusaurus-plugin-content-docs/current/README.md
index 53b39315..a17c5cd8 100644
--- a/moonbit-docs/i18n/zh/docusaurus-plugin-content-docs/current/README.md
+++ b/moonbit-docs/i18n/zh/docusaurus-plugin-content-docs/current/README.md
@@ -1965,9 +1965,15 @@ trait ToMyBinaryProtocol {
 }
 
 impl ToMyBinaryProtocol for Int with to_my_binary_protocol(x, b) { ... }
-impl ToMyBinaryProtocol for Int with to_my_binary_protocol(x, b) { ... }
-impl ToMyBinaryProtocol for Int with to_my_binary_protocol(x, b) { ... }
-impl[X : ToMyBinaryProtocol] for Array[X] with to_my_binary_protocol(arr, b) { ... }
+
+impl ToMyBinaryProtocol for UInt with to_my_binary_protocol(x, b) { ... }
+
+impl[X : ToMyBinaryProtocol] ToMyBinaryProtocol for Array[X] with to_my_binary_protocol(
+  arr,
+  b
+) {
+  ...
+}
 ```
 
 在搜索某个接口的实现时，`impl` 比普通方法有更高的优先级，