Hotfix

In newer versions of Firefox, the "Modify Games" page has become unusable. The culprit is that we do not properly check where JS messages come from, as well as a pair of missing braces...