[ref_impl_eiffel] [1233] Fix a typo in the last revision.

Revision: 1233
Author: peter.gummer
Log Message: