Cosmetic changes to ui.js satisfy lint.