fix javascript names that clash with js/html5 keywords