Minor front-end fixes