Leaner JSON encoding