Copyright header and synchronization tweak