Auto merge of #2343 - RalfJung:comment, r=RalfJung

fix comment in ./miri

pointed out in #2288 (comment)

Author: bors

miri

@@ -30,7 +30,7 @@ times and slower execution times.
 Format all sources and tests. <flags> are passed to `rustfmt`.
 
 ./miri clippy <flags>:
-Format all sources and tests. <flags> are passed to `cargo clippy`.
+Runs clippy on all sources. <flags> are passed to `cargo clippy`.
 
 ./miri many-seeds <command>:
 Runs <command> over and over again with different seeds for Miri. The MIRIFLAGS