synchronization additions!