[ref_impl_eiffel] [1066] Fix a typo.

Revision: 1066
Author: peter.gummer
Log Message: