[ref_impl_eiffel] [632] EDT-272: Fix a bug introduced by revision 132.

Revision: 632
Author: peter.gummer

Log Message: