[ref_impl_eiffel] [593] Adjustments to documentation.

Revision: 593
Author: thomas.beale

Log Message: