bugfix for json lib