Fix bug in dump update_proc