diff --git a/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.05.wiki b/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.05.wiki
index 04e9ad8f..9b7282e8 100644
--- a/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.05.wiki
+++ b/documentation/trunk/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-18.05.wiki
@@ -2,12 +2,13 @@
 [[Property:title|Release notes for EiffelStudio 18.05]]
 [[Property:link_title|18.05]]
 [[Property:weight|0]]
+
 ==Graphical environment==
 ===What's new===
 * The execution parameters can be automatically loaded from the default file saved from a previous execution session.
 
 ===Improvements===
-* Extended sets of constructs checked by some default rules (CA017, CA046, CA071) of the code analyzer and made sure the checks do not trigger false positives.
+* Extended sets of constructs checked by some default rules of the code analyzer and made sure the checks do not trigger false positives.
 * The debugger string viewer now displays information about the current cursor (character, position, ...). In addition, a new "JSON" string debugger viewer is available.
 * The auto-completion is not triggered anymore for `|.`  or  `..` cases.
 
@@ -18,15 +19,15 @@
 ==Compiler==
 * It is now possible to extend a project target from a different project (ECF).
 * The rules for '''class''' features were relaxed.  Re-declaration into or joining with a class feature is valid as soon as combined assertions satisfy the class feature conditions. A non-static external and constant feature automatically gets a class post-condition if its contracts do not involve constructs that can access Current object .
-* Updated the Eiffel grammar to support bracket expressions as bracket targets (`foo [x][y][z]` as a synonym of `((foo [x]) [y]) [z]`)
-
+* Updated the Eiffel grammar to support bracket expressions as bracket targets (such as `table[x][y][z]`)
 * Supports detection of VHPR(5) violations for arbitrary ancestors, not just for immediate parents. This may be a breaking change for classes that inherit different generic derivations of the same class.
 
 ==Libraries==
-* EiffelBase: Added EXECUTION_ENVIRONMENT.available_cpu_count
-* EiffelBase: Relaxed a precondition of {ARRAY}.subarray to allow for calling it on empty arrays.
-* EiffelBase:  Marked many features of Base library as class ones to make them usable for non-object calls.
-* EiffelBase:  Added a feature {ARRAY}.force_and_fill that works like {ARRAY}.force, but fills previously unoccupied positions with the specified value rather than with a default one.
+* EiffelBase:
+** Added EXECUTION_ENVIRONMENT.available_cpu_count
+** Relaxed a precondition of {ARRAY}.subarray to allow for calling it on empty arrays.
+**Marked many features of Base library as class ones to make them usable for non-object calls.
+**Added a feature {ARRAY}.force_and_fill that works like {ARRAY}.force, but fills previously unoccupied positions with the specified value rather than with a default one.
 * EiffelProcess: Marked features of BASE_PROCESS_FACTORY, PROCESS_FACTORY, and PROCESS_INFO as class ones to make them usable for non-object calls.
 * Encoding: Use a default console code page on Windows if the current one cannot be retrieved that may happen for GUI applications.