[ref_impl_eiffel] [878] Correct a comment which was no longer applicable.

Revision: 878
Author: peter.gummer

Log Message: