a useful EncodeJson[Path]