Use the correct JSON library (oversight when fixing it last time.)