Why not set this in the (!__wt_page_is_modified) clause of __wt_page_modify_set(), it gives it a more recent value?