Oops, fixing translation in javascript.html