It was known as Jonerstown until 1815, when it was officially called Dover.
It was known as Jonerstown until 1815, when the name was changed to Dover.
It was known as Jonerstown until 1815, when the name was changed to Dover.
Make this simpler: It was known as Jonerstown until 1815, when it was officially called Dover. Output: