Minor type fix and missing file.