Fixed a Firefox result, and recompiled typescript.html