JSON formatters for Interface and Tunnel