Add comments to explain the change to EF_ (Trac #8965)