[ref_impl_eiffel] [880] Corrections to previous changes:

Revision: 880
Author: thomas.beale

Log Message: