Fix small typo in javascript.html