Histories are synchronized

Fixes #289.
is_synchronized()