Fix wrapping of the type checker switcher in some browsers.