fix infelicities in sync