[ref_impl_eiffel] [1117] Correct HTML-saving bug introduced recently.

Revision: 1117
Author: thomas.beale
Log Message: