Histories are synchronized

Fixes #289.
CHECK_EQ?