frontend.js: cosmetics