replace at-path with dotty