[ref_impl_eiffel] [1706] Correct errors found by Rong Chen:

Revision: 1706
Author: thomas.beale
Log Message: