Write more compact JSON