Bug fix in run_on_modifications.