diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean
index b8fc2226..514362b5 160000
--- a/assets/syntaxes/02_Extra/Lean
+++ b/assets/syntaxes/02_Extra/Lean
@@ -1 +1 @@
-Subproject commit b8fc2226dc1b76c29ddb63829a4d6adadadec9cd
+Subproject commit 514362b5c7fdcd7c43562d833fb94ff973d1da29
diff --git a/tests/syntax-tests/source/Lean/LICENSE.md b/tests/syntax-tests/source/Lean/LICENSE.md
index 890dff01..45597746 100644
--- a/tests/syntax-tests/source/Lean/LICENSE.md
+++ b/tests/syntax-tests/source/Lean/LICENSE.md
@@ -185,7 +185,7 @@ The `test.lean` file has been adpated from
    APPENDIX: How to apply the Apache License to your work.
 
       To apply the Apache License to your work, attach the following
-      boilerplate notice, with the fields enclosed by brackets "[]"
+      boilerplate notice, with the fields enclosed by brackets "{}"
       replaced with your own identifying information. (Don't include
       the brackets!)  The text should be enclosed in the appropriate
       comment syntax for the file format. We also recommend that a
@@ -193,7 +193,7 @@ The `test.lean` file has been adpated from
       same "printed page" as the copyright notice for easier
       identification within third-party archives.
 
-   Copyright [yyyy] [name of copyright owner]
+   Copyright 2020 Jeremy Avigad, Patrick Massot.
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.