Update htmltidy.js