JSON formatter tests for Doc