[ref_impl_eiffel] [373] Correct a few comments in accord with changes made in revision 372.

Revision: 373
Author: peter.gummer

Log Message: