Add some files forgotten in the previous commit.