[ref_impl_eiffel] [844] Correct minor synchronisation error with validity flag.

Revision: 844
Author: thomas.beale

Log Message: