Fix wrapping of the type checker switcher in some browsers.
Merge pull request #4 from bashor/master

Fix wrapping of the type checker switcher in some browsers.