[ref_impl_eiffel] [945] Bug fixes:

Revision: 945
Author: thomas.beale
Log Message: