Input (grade 8): However, the town was renamed "Huntsville" on November 25, 1811 after its first settler.
Output (grade 6): However, the town was renamed to "Huntsville" on November 25, 1811.