Semaphor fix.

Note: There's still no default state setting anywhere in the HTML. That
needs fixing at some point.