Add files forgotten in the previous commit