documented a sync bug due to the choice of architecture