[ref_impl_eiffel] [1115] Minor formatting fix.

Revision: 1115
Author: peter.gummer
Log Message: