small change for json serialisation