More dotty-remote tweaks