fix issue where JSON output would be malformed due to sourcekitten crashing