Add forgotten files (again)