oops, add missing files