[ref_impl_eiffel] [1573] Minor fixes due to Sebastian's feedback.

Revision: 1573
Author: thomas.beale
Log Message: