Correct about the code of the part depending on MiniJSON