Compact JSON output

because no one needs to read this file