Double encoding JSON