[ref_impl_eiffel] [569] Fix a typo in a comment.

Revision: 569
Author: peter.gummer

Log Message: