Fixed a bug with old, un-migrated level-set-playing events in button handlers.
Fixed #1000.
Merge branch 'master' into production