Fixes for json generator