[ref_impl_eiffel] [435] Minor fix to source code formatting.

Revision: 435
Author: peter.gummer

Log Message: