[ref_impl_eiffel] [712] Fix a typo in the last commit.

Revision: 712
Author: peter.gummer

Log Message: