Indeed, this one was missing. Now it is fixed in rev#80575 of EiffelStudio 6.5 intermediate release. Thank you for your report.