Change the script to use the real JSON.stringify function.
Merge branch 'robert'