diff --git a/README.md b/README.md
index e33ca84..26e24b4 100644
--- a/README.md
+++ b/README.md
@@ -607,7 +607,8 @@ usage: grammar_file_path [source_file_path]
     --ast: show AST tree
     --opt, --opt-all: optimize all AST nodes except nodes selected with `no_ast_opt` instruction
     --opt-only: optimize only AST nodes selected with `no_ast_opt` instruction
-    --trace: show trace messages
+    --trace: show concise trace messages
+    --trace-verbose: show verbose trace messages
 ```
 
 ### Grammar check
diff --git a/lint/README.md b/lint/README.md
index 1d88b10..8793068 100644
--- a/lint/README.md
+++ b/lint/README.md
@@ -12,7 +12,8 @@ usage: grammar_file_path [source_file_path]
     --opt, --opt-all: optimaze all AST nodes except nodes selected with `no_ast_opt` instruction
     --opt-only: optimaze only AST nodes selected with `no_ast_opt` instruction
     --source: source text
-    --trace: show trace messages
+    --trace: show concise trace messages
+    --trace-verbose: show verbose trace messages
 ```
 
 ### Build peglint
diff --git a/lint/peglint.cc b/lint/peglint.cc
index 994be01..5a8dc0a 100644
--- a/lint/peglint.cc
+++ b/lint/peglint.cc
@@ -84,7 +84,7 @@ int main(int argc, const char **argv) {
     --ast: show AST tree
     --opt, --opt-all: optimize all AST nodes except nodes selected with `no_ast_opt` instruction
     --opt-only: optimize only AST nodes selected with `no_ast_opt` instruction
-    --trace: show trace messages
+    --trace: show concise trace messages
     --trace-verbose: show verbose trace messages
 )";