[ref_impl_eiffel] [1037] Correct a fossilised comment.

Revision: 1037
Author: peter.gummer
Log Message: