Fixes the code to work with our version of MiniJSON.