Fix synchronization (from jenkins)