Slight change in flushing rules for JSON to pass the CI