.renderJson as a file extension? How come?