More dotty-sync()