added jsonlint-mini