This is fixed in revision rev#69489 (trunk) and rev#69490 (branches/Eiffel_60).