[ref_impl_eiffel] [833] Correct two errors found by AML:

Revision: 833
Author: thomas.beale

Log Message: