Add missing files (Omar told me)