Fixes to make Playground work in Firefox.