diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
index 2c704629b2..0e75ac87ec 100644
--- a/.github/ISSUE_TEMPLATE/bug_report.md
+++ b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -33,7 +33,7 @@ assignees: ''
 
 ### Versions
 
-[Output of `lean --version` in the folder that the issue occured in]
+[Output of `#eval Lean.versionString` or of `lean --version` in the folder that the issue occured in]
 [OS version]
 
 ### Additional Information