My changes to the JavaScript source.