Minor front-end tweak