Format JSON by default. Fixes #2243.