ref_impl_eiffel [208] Fix an error caused in trunk revision 202.

Revision: 208
Author: peter.gummer

Log Message: