ref_impl_eiffel [250] Fix a crash caused by revision 244 in the GUI branch.

Revision: 250
Author: peter.gummer

Log Message: