[ref_impl_eiffel] [1357] Further corrections:

Revision: 1357
Author: thomas.beale
Log Message: