diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-72.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-72.wiki
index 585a5b99..609f94f8 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-72.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-72.wiki
@@ -19,7 +19,7 @@
* To support Unicode file names a new class PATH was added, and most libraries using a string to represent a file name have been updated to also take a PATH instance as argument.
===Bug fixes===
-* Fixed a crash during debugging that would cause an exception in {ES_OBJECTS_TOOL_PANEL}.real_update.
+* Fixed a crash during debugging that would cause an exception in {ES_OBJECTS_TOOL_PANEL}.real_update.
* Fixed a crash while trying to import preferences and no project was loaded yet.
==Compiler==
@@ -36,19 +36,16 @@
** Added caseless comparison of Unicode strings.
* Added new REPEATABLE class.
* Added is_first and is_last queries to iterators.
-* Fixed bug#18272 where {MANAGED_POINTER}.copydid not properly set count and thus yielded a postcondition violation when duplicating an instance.
+* Fixed bug#18272 where {MANAGED_POINTER}.copy did not properly set count and thus yielded a postcondition violation when duplicating an instance.
* Added new ARGUMENTS_32 class to handle Unicode arguments.
* Added new UTF_CONVERTER class to handle various Unicode encoding conversions.
-* Changed definition of {DEBUG_OUTPUT}debug_output to be READABLE_STRING_GENERAL, so that Unicode characters in the string representation of an object can be displayed in the EiffelStudio debugger.
-* Fixed an issue with `incorrect_mismatch' when it was applied to a HASH_TABLE whose keys are expanded but do not have a default value: the retrieved HASH_TABLE had one more item than the original one. It should fix eweasel test#table013.
-
-
-
+* Changed definition of {DEBUG_OUTPUT}.debug_output to be READABLE_STRING_GENERAL, so that Unicode characters in the string representation of an object can be displayed in the EiffelStudio debugger.
+* Fixed an issue with `incorrect_mismatch' when it was applied to a HASH_TABLE whose keys are expanded but do not have a default value: the retrieved HASH_TABLE had one more item than the original one. It should fix eweasel test#table013.
===EiffelStore===
* Added support for Unicode SQL queries.
* Added support for immutable strings.
-* Fixed an issue where passing a DECIMAL as an argument of a procedure did not set the scale (thus storing 1.00 when 100.00 was expected).
+* Fixed an issue where passing a DECIMAL as an argument of a procedure did not set the scale (thus storing 1.00 when 100.00 was expected).
* Added ability to perform a sequence of database select/update/delete as a transaction.
* Fixed some limitations on the length of columns, errors and warnings.