add some files missing from the previous commit