Minor improvements of the html client and the frontend controller