Minor tweaks in the front-end.