Tab escape in JSON encoder