Fix dotty-sync()