Fixes a typo in ui.js.