Hack to emit JSON