minor jsonlint bug detected fixed