Bugfixes to JavaScript notes