fix future sync problems on github