The suggestion has been implemented.
See https://github.com/EiffelSoftware/libraries/pull/1
Closing the report.

--
Eric Bezault