Some additions and synchronization with the old document