Fixed at revision 107731
It is also available at https://github.com/eiffelsoftware/libraries/

Thanks for the report.