[ref_impl_eiffel] [1299] Fix a typo.

Revision: 1299
Author: peter.gummer
Log Message: