[ref_impl_eiffel] [942] Correct errors:

Revision: 942
Author: thomas.beale
Log Message: