minor improvements of the web frontend