ref_impl_eiffel [85] Purely cosmetic fix to code

Revision: 85
Author: thomas.beale

Log Message: