Thanks, this is now corrected

rev#106074 ( https://github.com/EiffelSoftware/libraries/commit/70216cf6d713309f5623e35a31c3fa706f0c4418 )