Add files mistakenly forgotten