Minor change to control.js