optimizing JSON parsing a little