diff --git a/runtime/help/options.md b/runtime/help/options.md
index 87943392..ba0fba06 100644
--- a/runtime/help/options.md
+++ b/runtime/help/options.md
@@ -324,11 +324,11 @@ Here are the available options:
    By default, this option points to the official plugin channel hosted on GitHub
    at https://github.com/micro-editor/plugin-channel.
 
-    default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json`
+    default value: `[https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json]`
 
 * `pluginrepos`: a list of links to plugin repositories.
 
-    default value: ``
+    default value: `[]`
 
 * `readonly`: when enabled, disallows edits to the buffer. It is recommended
    to only ever set this option locally using `setlocal`.