Histories are synchronized

Fixes #289.
s/with  with/with/