small fix to json term indent
merged from origin