fix bug in ButtonControl.js