[ref_impl_eiffel] [1313] Two fixes:

Revision: 1313
Author: thomas.beale
Log Message: