tools/json another bugfix