Small improvements of html and js