Add files forgotten (cf. #128)