some small edits in I4