Same for json 1.8.1 again...