minor fixes on the front-end