Workaround JSON.dump