Output proper JSON