diff --git a/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.11.wiki b/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.11.wiki
index 7f037fa6..12543e35 100644
--- a/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.11.wiki
+++ b/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.11.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Thu, 06 Dec 2018 21:10:09 GMT]]
+[[Property:modification_date|Thu, 06 Dec 2018 21:12:57 GMT]]
 [[Property:publication_date|Mon, 26 Nov 2018 10:45:37 GMT]]
 [[Property:uuid|4452B417-C538-49AF-960F-C3C2473A3AF8]]
 [[Property:title|Release notes for EiffelStudio 18.11]]
@@ -16,7 +16,7 @@
 
 ==Compiler==
 * '''Assertion expressions''' are used as '''tags''' for assertions without explicit tags.
-* Concurrency and void-safety project settings can be overridden when compiling from the command line using `-config_option ...`.
+* Concurrency and void-safety project settings can be overridden when compiling from the command line using `-config_option concurrency=...` or `-config_option void_safety=...`.
 * Project settings can use '''conditions''' based on void safety level.
 * Fixed a bug in handling an assigner command when checking for void safety of object initialization.
 * '''Exception traces''' in final and workbench mode use the same breakpoint indexes.