Histories are synchronized

Fixes #289.
s!at/!at!