Tweak dotty-remote()