Input (grade 7): It was known as Jonerstown until 1815, when it was officially called Dover.
Output (grade 4): It was known as Jonerstown until 1815, when the name was changed to Dover.