Add some files forgotten earlier.