Re-added some files that seemed to have gotten lost.