Minor bugfix of JSON use.