#785: svm_json.py, minor indentation change