Usage of the JSON library has been optimized a little bit.