This bug is fixed in revision#80616 for Eiffel Studio intermediate releases.

Thanks for your report.