diff --git a/README.md b/README.md
index e8fbcf7..beba9b2 100644
--- a/README.md
+++ b/README.md
@@ -49,11 +49,13 @@ $ plasp [files] [options]
 ```
 
 `plasp` automatically detects the language of the input program.
+
 See [command-line interface](doc/command-line-interface.md) for more detail.
 
 ## Output Format
 
 `plasp` provides a uniform output format for SAS and PDDL input problems.
+
 See [output format](doc/output-format.md) for more detail.
 
 If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started.
diff --git a/doc/command-line-interface.md b/doc/command-line-interface.md
index f3a09fe..5b4715f 100644
--- a/doc/command-line-interface.md
+++ b/doc/command-line-interface.md
@@ -4,6 +4,9 @@
 $ plasp [files] [options]
 ```
 
+`plasp` automatically detects the language of the input files.
+Multiple files may be provided in an arbitrary order.
+
 `[files]` may be omitted, in which case the input is read from `std::cin`.
 The `[options]` are listed below: