Fix bug where checkboxes worked incorrectly with production JS. (#364)
Rebuild production JS file.