add files missing from the previous commit