Fix a typo and add a missing file.