small typos in the javascript source file