diff --git a/src/librustc_error_codes/error_codes/E0131.md b/src/librustc_error_codes/error_codes/E0131.md
index a70a02925b0fb..ed798d4f881a3 100644
--- a/src/librustc_error_codes/error_codes/E0131.md
+++ b/src/librustc_error_codes/error_codes/E0131.md
@@ -1,8 +1,11 @@
-It is not possible to define `main` with generic parameters.
-When `main` is present, it must take no arguments and return `()`.
+The `main` function was defined with generic parameters.
+
 Erroneous code example:
 
 ```compile_fail,E0131
 fn main<T>() { // error: main function is not allowed to have generic parameters
 }
 ```
+
+It is not possible to define the `main` function with generic parameters.
+It must not take any arguments.