fix up some details of JSON.toHTML
rebuild
v0.7.10