add back remote syntax for SEAL